Alex & Sue agree uint32_t is a better choice than int.