Expansion Contracted Interface cintf Boiler plate interface and contract Maf
System.Diagnostics.Contracts interface Interface name IFoo