let save_core () = core_ini#write rc_core