contract C { modifier M(uint i) { _; } function F() M(1) public {} }