public static void OPT_threadSwitchFromEpilogue() {
public static void OPT_threadSwitchFromEpilogue() throws VM_PragmaUninterruptible {
  public static void OPT_threadSwitchFromEpilogue() {    VM_Thread.threadSwitch(VM_Thread.EPILOGUE);  }