digraph rfc5424 {
rankdir=LR;
node [ shape = point ];
ENTRY;
eof_1;
eof_2;
eof_3;
eof_4;
eof_5;
eof_6;
eof_7;
eof_8;
eof_9;
node [ shape = circle, height = 0.2 ];
err_1 [ label=""];
err_2 [ label=""];
err_3 [ label=""];
err_4 [ label=""];
err_5 [ label=""];
err_6 [ label=""];
err_7 [ label=""];
err_8 [ label=""];
err_9 [ label=""];
node [ fixedsize = true, height = 0.65, shape = doublecircle ];
8;
9;
node [ shape = circle ];
1 -> 9 [ label = "128..191" ];
1 -> err_1 [ label = "DEF / err_msg" ];
2 -> 1 [ label = "160..191" ];
2 -> err_2 [ label = "DEF / err_msg" ];
3 -> 1 [ label = "128..191" ];
3 -> err_3 [ label = "DEF / err_msg" ];
4 -> 1 [ label = "128..159" ];
4 -> err_4 [ label = "DEF / err_msg" ];
5 -> 3 [ label = "144..191" ];
5 -> err_5 [ label = "DEF / err_msg" ];
6 -> 3 [ label = "128..191" ];
6 -> err_6 [ label = "DEF / err_msg" ];
7 -> 3 [ label = "128..143" ];
7 -> err_7 [ label = "DEF / err_msg" ];
8 -> err_8 [ label = "128..193, 245..255 / err_msg" ];
8 -> 1 [ label = "194..223 / mark, markmsg" ];
8 -> 2 [ label = "224 / mark, markmsg" ];
8 -> 3 [ label = "225..236, 238..239 / mark, markmsg" ];
8 -> 4 [ label = "237 / mark, markmsg" ];
8 -> 5 [ label = "240 / mark, markmsg" ];
8 -> 6 [ label = "241..243 / mark, markmsg" ];
8 -> 7 [ label = "244 / mark, markmsg" ];
8 -> 9 [ label = "DEF / mark, markmsg" ];
9 -> err_9 [ label = "128..193, 245..255 / err_msg" ];
9 -> 1 [ label = "194..223" ];
9 -> 2 [ label = "224" ];
9 -> 3 [ label = "225..236, 238..239" ];
9 -> 4 [ label = "237" ];
9 -> 5 [ label = "240" ];
9 -> 6 [ label = "241..243" ];
9 -> 7 [ label = "244" ];
9 -> 9 [ label = "DEF" ];
ENTRY -> 8 [ label = "IN" ];
1 -> eof_1 [ label = "EOF / err_msg" ];
2 -> eof_2 [ label = "EOF / err_msg" ];
3 -> eof_3 [ label = "EOF / err_msg" ];
4 -> eof_4 [ label = "EOF / err_msg" ];
5 -> eof_5 [ label = "EOF / err_msg" ];
6 -> eof_6 [ label = "EOF / err_msg" ];
7 -> eof_7 [ label = "EOF / err_msg" ];
8 -> eof_8 [ label = "EOF / mark, markmsg, set_msg" ];
9 -> eof_9 [ label = "EOF / set_msg" ];
}