let help = { GtkSignal.name = "help" ; GtkSignal.classe = `druid ; GtkSignal.marshaller = GtkSignal.marshal_unit }