let
help =
"when on (off by default), annotate for valid pointer or array access"