event queue:
check queue:
	time	eid	pid	event
	0	0	1	null
X : chan(int<32>) X = (0) [empty]
event queue:
check queue:
	time	eid	pid	event
	10	1	0	X?(z)
check for X? should block 
X : chan(int<32>) X = (0) [empty]
queue should be empty (deadlock!) 
event queue:
check queue:
	(empty)
X : chan(int<32>) X = (0) [wait]
time: 10
