gtk_widget_set_margin_start

alias gtk_widget_set_margin_start = c_gtk_widget_set_margin_start