taglinefilesource code
cardinality232scripts/ksymoops.ccint cardinality = 0;
cardinality235scripts/ksymoops.ccif (cardinality++ > 0)
cardinality239scripts/ksymoops.cccardinality_ = --cardinality;