pub fn synchronization_properties(inprops: FstProperties) -> FstProperties