
  CONST
    pfc$maximum_file_label_size = 0ffffff(16);

