c printf uint32_t

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

Also in C: