Replaced int64_t with uint64_t. Same results as test vector