Simple php bytecode generator facilities