Optionally mark stdio writes with [rr.<global-time>]. Simple, not-generally-correct implementation.
checkpoint