Source position: gnomepaper.inc line 13
function gnome_paper_with_name(
papername: Pgchar
):PGnomePaper;