void mouse_handler();
void mouse_init();