let
save_core () = core_ini
#
write rc_core