Aladdin Postscript interpreter