let help = "use <n> as the width of the default context for value analysis. (defaults to 2)"