A brainfuck interpreter inplemented by OCaml