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