VMX_COPY_THRESHOLD
n > VMX_COPY_THRESHOLD;
for (len = VMX_COPY_THRESHOLD + 1; len < MAX_LEN; len++) {