specify using the @code{progname} module.
Additionally, using the @code{progname} module is not something that
-can be done implicitly. It requires that every @code{main()} function
+can be done implicitly. It requires that every @code{main} function
be modified to set @code{program_name} as one of its first actions.