%!ps-nonconforming
% filter to decode ascii85-encoded stuff
% pipe through: gs -q -dBATCH -sDEVICE=nullpage ascii85decode
(%stdin) (r) file /input exch def
1024 string /buffer exch def
input /ASCII85Decode filter
{dup buffer readstring exch
 dup length 0 gt {print} {pop} ifelse
 not {exit} if} loop