if (VM.VerifyAssertions && val[0] != 'L') VM.assert(false, toString());
if (VM.VerifyAssertions && val[0] != 'L') VM._assert(false, toString());
  public final String classFileNameFromDescriptor() {    if (VM.VerifyAssertions && val[0] != 'L') VM.assert(false, toString());    // return new String(val,    1, val.length - 2) + ".class"; // preferred (unicode)    return new String(val, 0, 1, val.length - 2) + ".class"; // deprecated (ascii)  }