C printf uint32_t

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