Fix Log() argument passing; use a global sequence number in the simple server.