ERROR: container types mismatch!
	got: int<12>
	and: int<11>
ERROR: types mismatch!
	got: chan(int<12>)
	and: chan(int<11>)
	from: foobar
	and:  barfoo
Error encountered during module::unroll.
ERROR in creating.  Aborting.
