Aladdin Postscript interpreter.