contract C { }