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