This paper is not very interesting. It briefly describes the motivation and implementation of banal, 1 a format checker for PDF documents. Banal deduces the format specification of a document (e.g., ...