
  CONST
    nfc$ntf_max_inactivity_timer = 600,
    nfc$ntf_min_inactivity_timer = 0;

  TYPE
    nft$ntf_inactivity_timer = nfc$ntf_min_inactivity_timer ..
          nfc$ntf_max_inactivity_timer;
