local(_@_T_E_M_P_A_R_R_A_Y);
push(_@_T_E_M_P_A_R_R_A_Y, splice(_@_A_R_R_A_Y, rand(_@_A_R_R_A_Y), 1))
    while _@_A_R_R_A_Y;
_@_A_R_R_A_Y = _@_T_E_M_P_A_R_R_A_Y;
