void fun(void);
