adam@1521: fun main () : transaction _ = return <xml/>