
  TYPE
    fst$path_element = record
      size: fst$path_element_size,
      value: fst$path_element_name,
    recend;

*copyc fst$path_element_name
*copyc fst$path_element_size
