pr kbs etter I3lisp.