Replace UINT32_MAX with literal because C++ doesn't have that macro.