contract C { modifier M { _; } }

// ----