Constant CRYPT_X942_COUNTER_BYTE_LENGTH 

pub const CRYPT_X942_COUNTER_BYTE_LENGTH: u32 = 4u32;