/* header2.h */
extern int work(void);