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