@fengjingchao @yifan-gu An easy solution would be embedded a uint64 in a structure.