let _ =
  let _ = Topdirs.dir_quit in
  Toploop.loop Format.std_formatter;
  assert false