let default_main () = let loop = (Main.create true) in loops := loop :: !loops; while Main.is_running loop do Main.iteration true done; if !loops <> [] then loops := List.tl !loops