uint64_t should be used instead of VALUE for class seq , so that we could be ensure it will not overflow at least for several years even on fastest computer.