let
cast w : [
`
gtk] obj = try_cast w
"GtkObject"