-- turn out to be empty, in which case no file should be created.
outputForeignStubs_help is_header "" = return Nothing
outputForeignStubs_help is_header doc_str
-- turn out to be empty, in which case no file should be created.
outputForeignStubs_help is_header "" = return Nothing
outputForeignStubs_help is_header doc_str