(module GtkBinProps.HandleBox)