  TYPE
    ift$pause_utility_count = 0 .. ifc$pause_utility_count_maximum;

  CONST
    ifc$pause_utility_count_maximum = 5;
