A brainfuck to c converter