A sequence number generator