ctf_label_topmost
label = ctf_label_topmost(pfp);
if (ctfp == NULL || (version = ctf_label_topmost(ctfp)) == NULL)
version = ctf_label_topmost(ctfp);
plabel = ctf_label_topmost(fp->ctf_parent);
const char *label = ctf_label_topmost(cmh->cmh_unique);
extern const char *ctf_label_topmost(ctf_file_t *);