(x_set_mouse_position, x_set_mouse_pixel_position)