void dead_mouse(void);