Microsoft.Contracts for Mono