let _ =
  let _ = Topdirs.dir_quit in
  Toploop.initialize_toplevel_env ();
  Topdirs.dir_use Format.std_formatter "matitatop.bootstrap";
  Toploop.loop Format.std_formatter