let help_msg = "generates annotations for runtime error checking and preconditions at call sites"