Function Queue.present

abstract void present (
  Semaphore[] waitSems,
  PresentRequest[] prs
);