Added include for stdint.h.