let ex () = print_string "\n#use \"resolution.ml\";;\n"