(* this empty file tests the compilation of lib.ml *)