CTF_INT_BITS
switch (CTF_INT_BITS(eob)) {
val64 = db_get_value(addr + 4, CTF_INT_BITS(eob) / 8,
val64 |= db_get_value(addr, CTF_INT_BITS(eob) / 8, 0);
val64 = db_get_value(addr, CTF_INT_BITS(eob) / 8,
val64 |= db_get_value(addr + 4, CTF_INT_BITS(eob) / 8,
val = db_get_value(addr, CTF_INT_BITS(eob) / 8,
CTF_INT_BITS(eob), size);