contract C { function f(uint a) pure public returns (uint b); }