;; From gtkprinter.h

(define-method get_hard_margins
  (of-object "GtkPrinter")
  (c-name "gtk_printer_get_hard_margins")
  (return-type "gboolean")
  (parameters
    '("gdouble*" "top")
    '("gdouble*" "bottom")
    '("gdouble*" "left")
    '("gdouble*" "right")
  )
)