FootNote
More information about the debugger is available in the
Symbolic Debugger Reference Manual
.