Constant CTR_COUNTER_BIG_ENDIAN 

pub const CTR_COUNTER_BIG_ENDIAN: c_uint = 4096;