Another implementation of Caml
