else if (specialKind == INTEGER_SUM)
break; case INTEGER_SUM:
		public String toString() {			StringBuffer buf = new StringBuffer("< ");			buf.append(signature);			if (specialKind == SIGNED_BYTE)				buf.append(", byte_array_load");			else if (specialKind == RANDOM_INT)				buf.append(", random_int");			else if (specialKind == LOW_8_BITS_CLEAR)				buf.append(", low8clear");			else if (specialKind == HASHCODE_INT)				buf.append(", hashcode_int");			else if (specialKind == INTEGER_SUM)				buf.append(", int_sum");			else if (specialKind == AVERAGE_COMPUTED_USING_DIVISION)				buf.append(", averageComputingUsingDivision");			else if (specialKind == FLOAT_MATH)				buf.append(", floatMath");						if (constValue != UNKNOWN) {				buf.append(", ");				buf.append(constValue);				}			if (xfield!= UNKNOWN) {				buf.append(", ");				buf.append(xfield);				}			if (isInitialParameter) {				buf.append(", IP");				}			if (isNull) {				buf.append(", isNull");				}							if (registerNumber != -1) {				buf.append(", r");				buf.append(registerNumber);				}			if (couldBeZero) buf.append(", cbz");			buf.append(" >");			return buf.toString();			}