let _ =
  let _ = Topdirs.dir_quit in
  let _ = 
   if Array.length Sys.argv > 1 then
     MatitacLib.main `TOPLEVEL
   else
     MatitacLib.go ()
  in
   Toploop.loop Format.std_formatter