#include<stdio.h>
#include<inttypes.h>


int main() {
	intmax_t a = 5000000000000000000;
	printf("intmax %" PRIdMAX "\n", a);
	return 0;
}
