digraph finite_state_machine {
	dpi=140;
	d0 [shape = circle, label = "dump"];
	f0 [shape = circle, label = "folder"];
	j0 [shape = circle, label = "junk"];
	s0 [shape = circle, label = "spam"];
	w0 [shape = circle, label = "we"];
	d0 -> f0 [ label = "destination" ];
	d0 -> s0 [ label = "ARG1" ];
	d0 -> w0 [ label = "ARG0" ];
	f0 -> j0 [ label = "mod" ];
}
