ctf_fpenc2name
ctf_fpenc2name(CTF_FP_ENCODING(eob)), CTF_FP_OFFSET(eob),
const char *ctf_fpenc2name(uint16_t);