VMEM_CROSS_P
if (VMEM_CROSS_P(start, start + size - 1, nocross)) {
MPASS(!VMEM_CROSS_P(start, start + size - 1, nocross));
MPASS(!VMEM_CROSS_P(phase, phase + size - 1, nocross));