interface I { function f(uint a) pure external returns (uint b); }