external add_button : [>`dialog] obj -> string -> int -> unit 
      = "ml_gtk_dialog_add_button"