int Example1(void);