CREATE TABLE v0 (v1 INTEGER UNIQUE);
INSERT INTO v0 (v1) VALUES (1);
UPDATE v0 SET v1 = 3 WHERE v1 IN (SELECT * FROM v0 INTERSECT SELECT * FROM v0 ORDER BY v1 DESC , AVG (71 = STDDEV ('x')) OVER w);
