new file mode 100644

@@ -0,0 +1,21 @@

+/*

+The command line is

+

+  dot -Tps -Grankdir=LR states.gv > states.ps

+

+and the file is:

+*/

+digraph states {

+    size="3,2";

+	rankdir=LR;

+    node [shape=ellipse];

+    empty [label = "Empty"];

+    stolen [label = "Stolen"];

+    waiting [label = "Waiting"];

+    full [label = "Full"];

+    empty -> full [label = "return"]

+    empty -> stolen [label = "dispatch", wt=28]

+    stolen -> full [label = "return"];

+    stolen -> waiting [label = "touch"];

+    waiting -> full [label = "return"];

+  }