SELECT (42,) AS s ASSUME ORDER BY s;