pub fn main_quit()