let
useless_label =
GMisc
.label ()