
  CONST
    pfc$maximum_permit_count = 0ffff(16);

