fun main () : transaction page = tm <- now; s <- source tm; return Server: {[tm]}
Client: