An interpreter and C-translator of Brainfuck