Changed int64_t to int