int f(int x) { return 500; }