how to print uint32_t code example

Example: c printf uint32_t

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