int bad2(void );