
  CONST
    nfc$ntf_max_skip_punch_count = 9,
    nfc$ntf_min_skip_punch_count = 0;

  TYPE
    nft$ntf_skip_punch_count = nfc$ntf_min_skip_punch_count ..
          nfc$ntf_max_skip_punch_count;
