contract C {}