An auto-increment sequence number generator