require OCaml >= 4.01.0