if (specialKind == BYTE_ARRAY_LOAD) buf.append(", byte_array_load"); if (specialKind == RANDOM_INT) buf.append(", random_int");
		public String toString() {			StringBuffer buf = new StringBuffer("< ");			buf.append(signature);			if (constValue != UNKNOWN) {				buf.append(", ");				buf.append(constValue);				}			if (field!= UNKNOWN) {				buf.append(", ");				buf.append(field);				}			if (isInitialParameter) {				buf.append(", IP");				}			if (isNull) {				buf.append(", isNull");				}							if (registerNumber != -1) {				buf.append(", r");				buf.append(registerNumber);				}			buf.append(" >");			return buf.toString();			}