
  PROCEDURE [XREF] dmp$allocate_avt
    (    avt_count: integer;
     VAR allocate_ok: boolean);

