<integer> => <int> <pdf-header> => <header> <pdf-version> => <version>