let main () = Rep_args.parse_gui (); let _ = GMain.Main.init () in let _gui = new Rep_gui.gui !Rep_args.gui_files in GMain.Main.main ()