Prelude_C#/Generalized_Util/Util/Properties
