PHP interpreter for brainfuck