EF4_MASK64
EF4_MASK64((high) + 1 - (low)))
EF4_INSERT64(min, max, low, high, EF4_MASK64((high) + 1 - (low)))