PHP opcodes dumper based on PHP embed SAPI