model {
	channel setAChannel {
		 out a(aValue:Int, setA(value)) == value
	}
	channel updateBChannel {
		 in a(aValue:Int, updateB(aValue)) == aValue
		 out b(bValue:Int, updateB(aValue)) == bValue + aValue
	}
}
geometry {
	node r a:270,270,80,30
	node r b:660,270,80,30
	node ioc setAChannel:90,240,100,90
	node c updateBChannel:460,240,100,90
}