Symbol: uint64_new