pr stalp . , Lin 5 : 24 prlisp.