An example of interaction-based testing in C#