contract C { event E(); } // ----