private static String printableLabel(int label){
  if (label >= 0x20 && label <= 0x7d && label != 0x22 && label != 0x5c) {
    return Character.toString((char)label);
  }
  return "0x" + Integer.toHexString(label);
}

private static String printableLabel ( int label ) { if ( label >= 0x20 && label <= 0x7d && label != 0x22 && label != 0x5c ) { return Character . toString ( ( char ) label ) ; } return "0x" + Integer . toHexString ( label ) ; }
ensures an arc ' s label is indeed printable ( dot uses us - ascii ) .
