#install_printer fppuri;;
(* utility functions *)
-let go = MatitacLib.go;;
+let go = MatitacLib.interactive_loop;;
(* let's go! *)
let _ =
+ at_exit (fun () -> MatitacLib.clean_exit None);
if Array.length Sys.argv > 1 then
MatitacLib.main `TOPLEVEL
else