<HTML> <HEAD> <TITLE>Debugging commands</TITLE></HEAD> <BODY> <h1>Debugging commands</h1> <a href="log.html">log</a><p> <a href="obj_status_v.html">obj.status.v</a><p> <a href="show_mem.html">show.mem</a><p> <a href="show_pri_screen.html">show.pri.screen</a><p> <a href="trace_info.html">trace.info</a><p> <a href="trace_on.html">trace.on</a><p> <a href="version.html">version</a><p> </BODY></HTML>
