uint32_t printf code example

Example: c printf uint32_t

uint32_t k;
printf("%lu", (unsigned long)k);