UINT32_MAX is not defined in C++. It was brought in indirectly from libxml. http://stackoverflow.com/questions/1471353/whats-the-c-equivalent-of-uint32-max Change-Id: I1bdb0a3d06a40d439d81f283934c24df271fb740