adamc@424: table t : {A : int}
adamc@424: 
adamc@424: fun main () : transaction page =
adamc@424:     () <- dml (INSERT INTO t (A) VALUES (0));
adamc@424:     return (error <xml>No way, Jose!</xml>)