
  TYPE
    bat$access_count = 0 .. 0ffff(16);

