Constant KEY_MIXTURE1_DECR_SMALL 

pub const KEY_MIXTURE1_DECR_SMALL: u32 = 66645;