Replacing UInt_t by uint32_t