int f(void);