Improve timestamp printing

Use `write-char` to print the `@` before timestamp because using `princ`
uses all the printing machinery, and, most importantly, it uses sharing
detection.  So if two or more timestamps are in the same structure the
sharpsign-sharpsign syntax is used to print them.