fun main () : transaction page = id1 <- fresh; id2 <- fresh; id3 <- fresh; idS <- source id3; return Hi there!

Whoa-hoa!}/>