GETSETUP         5176 src/gtkutil.c  	  Fcons (Qwidth, GETSETUP (gtk_page_setup_get_page_width)),
GETSETUP         5177 src/gtkutil.c  	  Fcons (Qheight, GETSETUP (gtk_page_setup_get_page_height)),
GETSETUP         5178 src/gtkutil.c  	  Fcons (Qleft_margin, GETSETUP (gtk_page_setup_get_left_margin)),
GETSETUP         5179 src/gtkutil.c  	  Fcons (Qright_margin, GETSETUP (gtk_page_setup_get_right_margin)),
GETSETUP         5180 src/gtkutil.c  	  Fcons (Qtop_margin, GETSETUP (gtk_page_setup_get_top_margin)),
GETSETUP         5181 src/gtkutil.c  	  Fcons (Qbottom_margin, GETSETUP (gtk_page_setup_get_bottom_margin)));