Pin-psten a 1 : 32 .lisp.