
  TYPE
    avt$system_supplied_field_id = 0 .. 0ffff(16);
