/* If NULL, error will flush stdout, then print on stderr the program
name, a colon and a space. Otherwise, error will call this
/* If NULL, error will flush stdout, then print on stderr the program
name, a colon and a space. Otherwise, error will call this