Trivial little change: timer tokens shouldn't have a Print() function,

they should have a Repr() function.