PMTAB_VERS
if (check_version(PMTAB_VERS, PMTABFILE) != 0)
(void) fprintf(stdout, "%d\n", PMTAB_VERS);