#define __STDC_FORMAT_MACROS
#include <inttypes.h>
#include <stdio.h>
int main(){
uint64_t ui64 = 64;
uint32_t ui32 = 32;
uint16_t ui16 = 16;
printf("test uint64_t : %" PRIu64 "\n", ui64);
printf("test uint32_t : %" PRIu32 "\n", ui32);
printf("test uint16_t : %" PRIu16 "\n", ui16);
return 0;
}