extern void close_encounter(int s);
extern void jingle_bells(int s);
extern void twinkle(int s);
extern void tone1(void);
extern void tone2(void);