Efficient bounded timestamping using traceable use abstraction - is writer's guessing better than re