#define _GNU_SOURCE

#ifndef __STDC_FORMAT_MACROS
#define __STDC_FORMAT_MACROS 1
#endif

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


int main() {
	uint64_t v = UINT64_C(12345);

	printf("Value is: %" PRIu64 "\n", v);

	return 0;
}