A generic virtual machine, with a Brainfuck implementation