proc next(x: uint64): uint64 {.raises: [], tags: [].}