Constant READ_COPY_NUMBER_KEY 

pub const READ_COPY_NUMBER_KEY: u32 = 1380142592u32;