replaced int with int64_t