uint32_t k; printf("%lu", (unsigned long)k);
// uint32_t is a type definition for a 32 bit unsigned integer typedef unsigned int uint32_t unsigned int myInt; // Same as uint32_t myInt;