system/diagnostics/contracts/contracts.cs

system/diagnostics/contracts/contractsbcl.cs