let help = "when on (off by default), pretty print the annotated code"