Constant MAX_NUM_ACTIVE_VARIABLES

pub const MAX_NUM_ACTIVE_VARIABLES: u32 = 0x92F7;