int f(char *, int);