digraph rfc5424 {
	rankdir=LR;
	node [ shape = point ];
	ENTRY;
	node [ shape = circle, height = 0.2 ];
	node [ fixedsize = true, height = 0.65, shape = doublecircle ];
	1;
	2;
	node [ shape = circle ];
	1 -> 2 [ label = "DEF / select_msg_mode" ];
	ENTRY -> 1 [ label = "IN" ];
}
