contract C { modifier M { _; } } // ----