decl_GetName
(void) fprintf(Mapfp, "\t__abi_%s;\n", decl_GetName(dp));
extern char *decl_GetName(decl_t *);
if (decl_GetName(dp))
char *s = decl_GetName(p);
char *dname = decl_GetName(pp);