MASK64_L
#define MASK64(mb, me) (MASK64_L(mb) + MASK64_R(me) + ((me) >= (mb)))
val &= MASK64_L(mb);
op->val = val & MASK64_L(mb);