pub const MAX_NUM_ACTIVE_VARIABLES: c_uint = 0x92F7;