use standard int64_t