ctf_write
if (ctf_write(fp, fd) == CTF_ERR) {
(void) ctf_write(fp, fd);
ctf_write(dtp->dt_cdefs->dm_ctfp, dtp->dt_cdefs_fd) == CTF_ERR))
ctf_write(dtp->dt_ddefs->dm_ctfp, dtp->dt_ddefs_fd) == CTF_ERR))
extern int ctf_write(ctf_file_t *, int);