Aladdin Postscript interpreter version 6