@Q: RETURN POP( [ 1 ] ) @R [ [] ]