Generation is now a uint64