contract C { modifier M { _; } }