
  CONST
    avc$min_working_set_size = 0,
    avc$max_working_set_size = 65535;

  TYPE
    avt$working_set_size = 0 .. avc$max_working_set_size;
