Add #include <stdint.h> to obtain UINT32_MAX.