DRIBBLE-OFF
DRIBBLE-OFF
Closes the trace file.
(dribble-off)