pr stalp . , guanon 2 : 32 prlisp.