int Example2(void);