pub const pdf_token_PDF_TOK_EOF: pdf_token = 1;