gtk_widget_get_margin_start

alias gtk_widget_get_margin_start = c_gtk_widget_get_margin_start