fun remote () = s <- source ; return (s, ) fun main () : transaction page = x <- source ; return