void mouse_handler();