external set_value : [>`adjustment] obj -> float -> unit
      = "ml_gtk_adjustment_set_value"