puldefine
puldefine(def->def_name, def->def.pr.prog_num);
puldefine(vers->vers_name, vers->vers_num);
puldefine(proc->proc_name, proc->proc_num);
static void puldefine(char *, char *);