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