gtk_page_setup_get_right_margin

alias gtk_page_setup_get_right_margin = c_gtk_page_setup_get_right_margin