contract C { event E(); }