int f(int, int);