let
help =
"when on (off by default), "
^ help_msg