1 dafs-fsa.dot is a description of the finite-state machine for volume
2 states in the Demand Attach fileserver in Dot (http://www.graphviz.org)
3 format. An invocation like:
5 dot -Tsvg dafs-fsa.dot > dafs-fsa.svg
7 will convert the description to an SVG file.