table user : {A : int} fun main () = r <- oneRow (SELECT COUNT( * ) AS N FROM user); return {[r.N]}