contract C { function f() pure public returns (uint) { return 1; } }