contract c { event e(); } // ----