A tiny PostScript interpreter