
  TYPE
    nft$ntf_wait_a_bit = (nfc$ntf_acknowledge, nfc$ntf_fcs);
