added assertion into lisp_ptr