int foo(void);