change UUID implementation to use integers and serial counters