  CONST
    nfc$minimum_page_width = 10,
    nfc$maximum_page_width = 255;

  TYPE
    nft$page_width = nfc$minimum_page_width .. nfc$maximum_page_width;

