Dump the state machine
Dump the current state machine to stdout.
This function has no parameters.
No value is returned.