	0	0	3	null
event queue:
check queue:
	time	eid	pid	event
	5	3	2	snk.B?(snk.b)
	25	1	1	[after=25] src.S!(true)
X : chan(bool<>) X = (0) [empty]
	25	1	1	[after=25] src.S!(true)
event queue:
	time	eid	pid	event
	25	3	2	snk.B?(snk.b)
check queue:
	50	2	1	[after=25] src.S!(false)
X : chan(bool<>) X = (1) [sent]
	25	3	2	snk.B?(snk.b)
event queue:
check queue:
	time	eid	pid	event
	30	3	2	snk.B?(snk.b)
	50	2	1	[after=25] src.S!(false)
X : chan(bool<>) X = (1) [empty]
	50	2	1	[after=25] src.S!(false)
event queue:
	time	eid	pid	event
	50	3	2	snk.B?(snk.b)
check queue:
	75	1	1	[after=25] src.S!(true)
X : chan(bool<>) X = (0) [sent]
	50	3	2	snk.B?(snk.b)
event queue:
check queue:
	time	eid	pid	event
	55	3	2	snk.B?(snk.b)
	75	1	1	[after=25] src.S!(true)
X : chan(bool<>) X = (0) [empty]
	75	1	1	[after=25] src.S!(true)
event queue:
	time	eid	pid	event
	75	3	2	snk.B?(snk.b)
check queue:
	100	2	1	[after=25] src.S!(false)
X : chan(bool<>) X = (1) [sent]
	75	3	2	snk.B?(snk.b)
event queue:
check queue:
	time	eid	pid	event
	80	3	2	snk.B?(snk.b)
	100	2	1	[after=25] src.S!(false)
X : chan(bool<>) X = (1) [empty]
	100	2	1	[after=25] src.S!(false)
event queue:
	time	eid	pid	event
	100	3	2	snk.B?(snk.b)
check queue:
	125	1	1	[after=25] src.S!(true)
X : chan(bool<>) X = (0) [sent]
	100	3	2	snk.B?(snk.b)
event queue:
check queue:
	time	eid	pid	event
	105	3	2	snk.B?(snk.b)
	125	1	1	[after=25] src.S!(true)
X : chan(bool<>) X = (0) [empty]
time: 100
Trace file contents: 1 epochs.
		start	start	file	chunk
	epoch	index	time	offset	size
	0	0	0	0	324
Epoch 0:
	event		event	cause
	index	time	node	index
	0	0	0	0
	1	25	1	0
	2	25	3	1
	3	50	2	1
	4	50	3	3
	5	75	1	3
	6	75	3	5
	7	100	2	5
	8	100	3	7
bool state trace:
	event	global	raw
	index	index	value
	2	1	1
	4	1	0
	6	1	1
	8	1	0
int state trace:
enum state trace:
channel state trace:
	event	global	raw
	index	index	value
	1	1	1,  [sent]
	2	1	[empty]
	3	1	0,  [sent]
	4	1	[empty]
	5	1	1,  [sent]
	6	1	[empty]
	7	1	0,  [sent]
	8	1	[empty]
