external
get_pointer : [>
`
widget] obj
->
int * int
=
"ml_gtk_widget_get_pointer"