Special Commands for SICS Administrators and Programmers

This section describes a few commands which need not be known to SICS users.