pub const CLIPSType_INTEGER_BIT: CLIPSType = 2;