table t : { A : int } fun main () : transaction page = return {[(SELECT t.A FROM t ORDER BY t.A DESC) : sql_query [] [] _ _]}