Sounds like p-code.