Include <stdint.h> to use int64_t.