table t : { A : string } PRIMARY KEY A
table u : { A : string } CONSTRAINT A FOREIGN KEY A REFERENCES t(A)

val main : transaction page = return <xml></xml>