Replacing UInt_t by uint8_t