adam@1556: fun main () : transaction page =
adam@1556: id1 <- fresh;
adam@1556: id2 <- fresh;
adam@1556: id3 <- fresh;
adam@1556: idS <- source id3;
adam@1556: return
adam@1556: Hi there!
adam@1556: Whoa-hoa!}/>
adam@1556:
adam@1556: Source: Whoa-hoa! : xbody))}/>
adam@1556: