CREATE TABLE v0 ( v1 INT ) ;
 INSERT INTO v0 ( v1 ) VALUES ( 34 ) ;
 UPDATE v0 SET v1 = 2147483647 ORDER BY AVG ( v1 ) DESC ;
