Constant MAX_NUM_ACTIVE_VARIABLES 

pub const MAX_NUM_ACTIVE_VARIABLES: u32 = 0x92F7;