Actually t0 is clear and is already used everywhere when we have time-measuring code, so I would keep it for consistency.