digraph states
{
	graph
	[
		size = "3,2"
	]
	graph
	[
		rankdir = "LR"
	]
	node
	[
		shape = "ellipse"
	]
	empty
	[
		label = "Empty"
	]
	stolen
	[
		label = "Stolen"
	]
	waiting
	[
		label = "Waiting"
	]
	full
	[
		label = "Full"
	]
	empty -> full
	[
		label = "return"
	]
	empty -> stolen
	[
		label = "dispatch"
		wt = "28"
	]
	stolen -> full
	[
		label = "return"
	]
	stolen -> waiting
	[
		label = "touch"
	]
	waiting -> full
	[
		label = "return"
	]
}
