#include <stdint.h>
#include <inttypes.h>
#define __STDC_FORMAT_MACROS
printf("My value is %10" PRId64 "\n", ex);
#include <inttypes.h>
#define __STDC_FORMAT_MACROS
printf("My value is %10" PRId64 "\n", ex);