print uint64_4/uint32_t/uint32_t

#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;
}