pub const CLIPSType_SYMBOL_BIT: CLIPSType = 4;