EFX_INSERT32
EFX_INSERT32(min, max, low, high, EFX_MASK32((high) + 1 - (low)))
| EFX_INSERT32(0, 31, low, high, value)); \
| EFX_INSERT32(32, 63, low, high, value)); \
| EFX_INSERT32(64, 95, low, high, value)); \
| EFX_INSERT32(96, 127, low, high, value)); \
| EFX_INSERT32(0, 31, low, high, value)); \
| EFX_INSERT32(32, 63, low, high, value)); \
| EFX_INSERT32(0, 31, low, high, value)); \
EFX_INSERT32(min, max, low, high, EFX_MASK32((high) + 1 - (low)))
| EFX_INSERT32(0, 31, low, high, value)); \
| EFX_INSERT32(32, 63, low, high, value)); \
| EFX_INSERT32(64, 95, low, high, value)); \
| EFX_INSERT32(96, 127, low, high, value)); \
| EFX_INSERT32(0, 31, low, high, value)); \
| EFX_INSERT32(32, 63, low, high, value)); \
| EFX_INSERT32(0, 31, low, high, value)); \