
  TYPE
    pmt$task_kill_count = 0 .. pmc$task_kill_count_maximum;

  CONST
    pmc$task_kill_count_maximum = 255;
