 Toolbox Menu

   This menu contains several functions
 helpful during the session and for
 debugging.  Some will work properly
 only under certain conditions.

   Refer to the Digit Tutorial for
 more explanation.
