db_ctf_pprint_struct
db_ctf_pprint_struct(ctt, addr);
void db_ctf_pprint_struct(const struct ctf_type *, vaddr_t);