
  PROCEDURE [XREF] tmp$check_timed_wait_not_queued
    (    time_next_scan_wait_not_queued: integer);

