rearangements; tests for BINARY_LOOP