external width : t -> int = "ml_GdkEventConfigure_width"