ctf_type_pointer
if ((ptr = ctf_type_pointer(ctfp, type)) != CTF_ERR ||
(ptr = ctf_type_pointer(ctfp, base)) != CTF_ERR) {
extern ctf_id_t ctf_type_pointer(ctf_file_t *, ctf_id_t);