
  PROCEDURE [XREF] jmp$force_candidate_refresh
    (    flush_candidate_queue: boolean);
