Using uint32_t instead of int