idtyp2str
(void) idtyp2str(idtype, idtypnm);
(void) idtyp2str(idtype, idtypnm);
(void) idtyp2str(idtype, idtypnm);
(void) idtyp2str(idtype, idtypnm);
(void) idtyp2str(idtype, idtypnm);
(void) idtyp2str(idtype, idtypnm);
extern int idtyp2str(idtype_t, char *);
(void) idtyp2str(idtype, idtypnm);
(void) idtyp2str(idtype, idtypnm);
(void) idtyp2str(idtype, idtypnm);
(void) idtyp2str(idtype, idtypnm);