A bytecode VM and toy language, in PHP