digraph rfc5424 {
	rankdir=LR;
	node [ shape = point ];
	ENTRY;
	eof_0;
	eof_1;
	node [ shape = circle, height = 0.2 ];
	node [ fixedsize = true, height = 0.65, shape = doublecircle ];
	0;
	1;
	node [ shape = circle ];
	0 -> 1 [ label = "DEF / mark, markmsg" ];
	1 -> 1 [ label = "DEF" ];
	ENTRY -> 0 [ label = "IN" ];
	0 -> eof_0 [ label = "EOF / mark, markmsg, set_msg" ];
	1 -> eof_1 [ label = "EOF / set_msg" ];
}
