how to print 32 unsigned int in c code example

Example: c printf uint32_t

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