Process:
	J
States:
	2
Transitions:
	J = Q0,
	Q0	= (supplyJ -> Q0
		  |consumeJ -> Q1),
	Q1	= (consumeJ -> ERROR
		  |supplyJ -> Q0).
