show_lisp_use_petr