(module GtkBinProps.Frame)