let
init () =
if
is_on ()
then
begin
Kernel
.
SimplifyCfg
.on ();
Kernel
.
KeepSwitch
.on ()
end