
  TYPE
    put$file_position = (puc$boi, puc$mid_partition, puc$partition_boundary,
      puc$eoi);
