A practice of building simple BASIC interpreter with OCaml