fun main () : transaction page = t <- now; return {[readError (show t) : time]}