A compiler for llama language written in OCaml