case  FILE_SEPARATOR_STRING: buf.append(", file_separator_string"); break; case 0 : break; default: buf.append(", #" + specialKind); break;
		public String toString() {			StringBuffer buf = new StringBuffer("< ");			buf.append(signature);			switch(specialKind) {			case SIGNED_BYTE:				buf.append(", byte_array_load");				break;			case  RANDOM_INT:				buf.append(", random_int");				break;			case LOW_8_BITS_CLEAR:				buf.append(", low8clear");				break;			case HASHCODE_INT:				buf.append(", hashcode_int");				break;			case INTEGER_SUM:				buf.append(", int_sum");				break;			case AVERAGE_COMPUTED_USING_DIVISION:				buf.append(", averageComputingUsingDivision");				break;			case FLOAT_MATH:				buf.append(", floatMath");				break;			case HASHCODE_INT_REMAINDER:				buf.append(", hashcode_int_rem");				break;			case  RANDOM_INT_REMAINDER:				buf.append(", random_int_rem");				break;			}			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();			}