dump_state
NAME
dump_state - create a state dump
SYNOPSIS
void dump_state()
DESCRIPTION
Dump the current state of the system to file. The actual dump is not
performed until after the current thread has finished.
SEE ALSO
HTMLised 1998 Greg Lewis
(glewis@maths.adelaide.edu.au)