Don't the counter and timestamp have specific types? Could a guard be employed here for safety?