let
load_gui () = gui_ini
#
read rc_gui