trivial micro compiler written in OCaml