let
set_off () =
Force
.off () ;
OptionModified
.set
false
;