let help = "override slevel with <n> when analyzing <f>"