Another implementation of Caml