--- /dev/null
+digraph g {
+__start0 [label="" shape="none"];
+
+ s0 [shape="circle" label="s0"];
+ s1 [shape="circle" label="s1"];
+ s0 -> s1 [label="SYN / SYN-ACK"];
+ s0 -> s1 [label="ACK / ERR"];
+ s1 -> s1 [label="SYN / ERR"];
+ s1 -> s1 [label="ACK / ERR"];
+
+__start0 -> s0;
+}