Use uint32_t instead of size_t