let destroy =
      { name = "destroy"; classe = `gtk; marshaller = marshal_unit }