let
save_gui () = gui_ini
#
write rc_gui