
  PROCEDURE [XREF] tmp$dispose_of_ring2_flags;
