@code{error} module, so an LGPL user must provide their own
replacement @code{program_name}, and a GPL user should manually
specify using the @code{progname} module.
@code{error} module, so an LGPL user must provide their own
replacement @code{program_name}, and a GPL user should manually
specify using the @code{progname} module.