Gtk.PaperSize.prototype.get_default_top_margin

function get_default_top_margin(unit:Gtk.Unit):Number {
    // Gjs wrapper for gtk_paper_size_get_default_top_margin()
}