A little more reordering, for aux array traversal in step2*