void b1(void);