singrdk/base/build/boogie/PresentationCore.Contracts.dll