Constant MAX_NUM_ACTIVE_VARIABLES

pub const MAX_NUM_ACTIVE_VARIABLES: u32 = 0x92F7; // 37_623u32