let main () = !main_func ()