ASCII-to-PostScript filter
