let help = "specifies generated file name for annotated C code"