[racket] machine states diagrams

Someone suggested me that a module for Racket exists that can produce some
very nice diagrams of scheme machine states.

Would anyone point me to that ?

I'm in this SICP study group and I'd love to provide some sensory proofs of
the internal workings of the machine.

Thanks
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.racket-lang.org/users/archive/attachments/20141202/46733e68/attachment.html>