Constant WC_CTC_MAX_ALT_SIZE 

pub const WC_CTC_MAX_ALT_SIZE: u32 = 16384;