  {  nfc$maximum_message_length is the largest any message coming
  {      into SCFS/VE can be.  This could be subject to change.
  CONST
    nfc$maximum_message_length = 8192,
  {  nfc$maximum_send_message_length is the largest any message
  {      sent from SCFS/VE can be.  This could be subject to change.
    nfc$maximum_send_message_length = 65535;

  TYPE
    nft$message_length = 0 .. nfc$maximum_send_message_length;

  TYPE
    nft$message_sequence = SEQ ( * );

