contract c {
    function f(uint a) external pure { a++; }
}
// ----