let i = fun (_ : GtkSignal.id) -> ()