<HTML> <HEAD> <TITLE>System commands</TITLE></HEAD> <BODY> <h1>System commands</h1> <a href="accept_input.html">accept.input</a><p> <a href="cancel_line.html">cancel.line</a><p> <a href="echo_line.html">echo.line</a><p> <a href="init_disk.html">init.disk</a><p> <a href="init_joy.html">init.joy</a><p> <a href="pause.html">pause</a><p> <a href="player_control.html">player.control</a><p> <a href="prevent_input.html">prevent.input</a><p> <a href="program_control.html">program.control</a><p> <a href="quit.html">quit</a><p> <a href="restart_game.html">restart.game</a><p> <a href="restore_game.html">restore.game</a><p> <a href="save_game.html">save.game</a><p> <a href="script_size.html">script.size</a><p> <a href="set_game_id.html">set.game.id</a><p> <a href="toggle_monitor.html">toggle.monitor</a><p> </BODY></HTML>
