
  PROCEDURE [XREF] tmp$dispose_of_ring3_flags;
