pub const pdf_annot_type_PDF_ANNOT_STAMP: pdf_annot_type = 13;