Constant RANDOM_CTI_LEN 

pub const RANDOM_CTI_LEN: usize = 16; // 16usize

The length of the random cti the default source produces (§5).