contract Foo {}