Prelude_C#/SpecializedUtil
