public static void OPT_threadSwitchFromBackedge() {
public static void OPT_threadSwitchFromBackedge() throws VM_PragmaUninterruptible {
  public static void OPT_threadSwitchFromBackedge() {    VM_Thread.threadSwitch(VM_Thread.BACKEDGE);  }