let useless_label = GMisc.label ()