A PostScript interpreter and renderer