AVAIL_MSG
(void) fprintf(stderr, gettext(AVAIL_MSG),
(void) fprintf(stderr, gettext(AVAIL_MSG), name);