MTAG_OFFSET_MASK
unsigned long valid_ptr_max = ULONG_MAX & ~(MTAG_OFFSET_MASK);
{.value = ULONG_MAX & ~(MTAG_OFFSET_MASK)},
valid_ptr_max = sval_type_max(&ulong_ctype).value & ~(MTAG_OFFSET_MASK);
*tag = sval.uvalue & ~MTAG_OFFSET_MASK;
*offset = sval.uvalue & MTAG_OFFSET_MASK;
if (offset >= MTAG_OFFSET_MASK)
*tag &= ~MTAG_OFFSET_MASK;
if (offset >= MTAG_OFFSET_MASK)
right_tag = sval.uvalue & ~MTAG_OFFSET_MASK;
right_offset = sval.uvalue & MTAG_OFFSET_MASK;
left_offset >= MTAG_OFFSET_MASK)
arg_offset < MTAG_OFFSET_MASK)