@Override
 public String toString() {
   StringBuilder sb = new StringBuilder(stub == null ? descriptor.toString() : stub.toString());
   sb.append("@0x")
       .append(Long.toHexString(address))
       .append(':')
       .append(outgoingCallingConvention)
       .append(":")
       .append(incomingCallingConvention);
   if (temporaries != null && temporaries.length != 0) {
     sb.append("; temps=");
     String sep = "";
     for (Value op : temporaries) {
       sb.append(sep).append(op);
       sep = ",";
     }
   }
   return sb.toString();
 }
 public String getSymbol() {
   return stub == null ? null : stub.toString();
 }