Writing Micro Compiler in OCaml (2014)