Code Manager (in OCAML)