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