test for destructuring in while #520