if (! usingAddr2name) if (name != null && ! "??".equals (name)) name = getExternalLabel (name);
  private StackTraceElement lookup(RawData addrs, int n)  {    StackTraceElement result;    result = lookupInterp(addrs, n);    if (result == null)      result = dladdrLookup(addrs, n);    if (result == null)      {	String name = null;	String file = null;	String hex = getAddrAsString(addrs, n);		if (addr2line != null)	  {	    try	      {		addr2lineOut.write(hex);		addr2lineOut.newLine();		addr2lineOut.flush();		name = addr2lineIn.readLine();		file = addr2lineIn.readLine();	      }	    catch (IOException ioe) { addr2line = null; }	  }	if (name == null || "??".equals(name))	  name = hex;	result = createStackTraceElement(name, file);      }    return result;  }