getfucked: a naive Brainfuck to C source code translator