Include stdint.h for UINTxx_MAX defines