#include <stdio.h>
#include <stdint.h>
#include <inttypes.h>
/*
* Returns the largest positive value that can be stored
* in a signed 64-bit integer.
*/
int64_t get_max_int64(void) {
return INT64_MAX;
}
int main(void)
{
int64_t max_value = get_max_int64();
printf("Maximum int64_t value: %" PRId64 "\n", max_value);
return 0;
}
/*
run:
Maximum int64_t value: 9223372036854775807
*/