WIDE
UINT32_MAX - 1, NO_REPLAY, DO_SEQUENCE, WIDE,
UINT32_MAX - 1, NO_REPLAY, DO_SEQUENCE, WIDE,
UINT32_MAX - 1, NO_REPLAY, DO_SEQUENCE, WIDE,
UINT64_MAX - 5, DO_REPLAY, DO_SEQUENCE, WIDE,
for (w = NARROW; w <= WIDE; w++) {
UINT64_MAX - 1, NO_REPLAY, DO_SEQUENCE, WIDE,
UINT64_MAX - 1, NO_REPLAY, DO_SEQUENCE, WIDE,