ctf_getmodel
model = ctf_getmodel(fp);
(void) ctf_setmodel(nfp, ctf_getmodel(fp));
if (ctf_setmodel(empty, ctf_getmodel(input)) == CTF_ERR) {
if (ctf_getmodel(out) != ctf_getmodel(source))
if (ctf_setmodel(out, ctf_getmodel(parent)) != 0) {
ctf_getmodel(dnp->dn_ctfp) == CTF_MODEL_ILP32 &&
extern int ctf_getmodel(ctf_file_t *);