let help = "when on (off by default), annotate for division by zero"