contract Foo { }