A brainfuck machine