ctf_add_label
if (ctf_add_label(fp, cch->cch_label, fp->ctf_typemax, 0) ==
ctf_add_label(out, cmh->cmh_label, ltype, 0) != 0) {
extern int ctf_add_label(ctf_file_t *, const char *, ctf_id_t, uint_t);