external x : t -> int = "ml_GdkEventConfigure_x"