+ if false then
+ let basename = Filename.chop_extension fname in
+ let f = open_out (basename ^ ".ml") in
+ LibrarySync.set_object_declaration_hook
+ (fun _ obj ->
+ output_string f (CicExportation.ppobj (Filename.basename basename) obj);
+ flush f);