MinCaml for Zebius