uint32_t vs size_t