if (verboseJNI) VM.sysWrite("JNI called: ReleaseStringUTFChars  \n");
if (traceJNI) VM.sysWrite("JNI called: ReleaseStringUTFChars  \n");
  private static void ReleaseStringUTFChars(int envJREF, int objJREF, int bufAddress) {    if (verboseJNI) VM.sysWrite("JNI called: ReleaseStringUTFChars  \n");    VM_JNIEnvironment env;    try {      // VM.sysWrite("ReleaseStringUTFChars ");      // VM.sysWrite(bufAddress);      // VM.sysWrite("\n");      VM.sysCall1(VM_BootRecord.the_boot_record.sysFreeIP,                  bufAddress);      return;    } catch (Throwable unexpected) {      env = VM_Thread.getCurrentThread().getJNIEnv();      env.recordException(unexpected);      return;    }  }