VM_Controller.controllerInputQueue.insert(5.0, thread.onStackReplacementEvent);
VM_Controller.controllerInputQueue.insert(5.0, (OSR_OnStackReplacementEvent)thread.onStackReplacementEvent);
  private void processOsrRequest() {    // scanning VM_Scheduler.threads    for (int i=0, n=VM_Scheduler.threads.length; i<n; i++) {      VM_Thread thread = VM_Scheduler.threads[i];      if (thread != null) {        if (thread.requesting_osr) {          thread.requesting_osr = false;          VM_Controller.controllerInputQueue.insert(5.0, thread.onStackReplacementEvent);        }      }    }  }