32 bits are surely enough for timestamps, aren’t they? We’ll surely not still be using this by then, right? right?