table t : { X : int } fun main () : transaction page = v <- query (SELECT * FROM t) (fn r (_ : int) => return (error Shot down!)) 0; return Result: {[v]}