*copyc nfc$max_file_size
  TYPE
    nft$device_file_size = 0 .. nfc$max_file_size;

