adamc@436: val now : time = readError "10/30/08 14:35:42"
adamc@436: 
adamc@436: fun main () = return <xml>{[now]}</xml>