read_uint64 was returning a short instead of a long long