fn write_properties_network( properties: &[ProfileProperty], writer: &mut impl Write, ) -> Result<()>