dt_basename
"%s`%s+0x%llx", dt_basename(objname), name,
"%s`%s", dt_basename(objname), name);
dt_basename(objname), (u_longlong_t)pc[i]);
(void) snprintf(c, sizeof (c), "%s", dt_basename(objname));
extern char *dt_basename(char *);
obj = dt_basename(objname);
dt_basename(objname), addr);