import era.mi.logic.types.BitVector;\r
import era.mi.logic.wires.Wire;\r
import era.mi.logic.wires.Wire.ReadEnd;\r
import era.mi.logic.wires.Wire.ReadWriteEnd;\r
import era.mi.logic.wires.WireObserver;\r
\r
import era.mi.logic.types.BitVector;\r
import era.mi.logic.wires.Wire;\r
import era.mi.logic.wires.Wire.ReadEnd;\r
import era.mi.logic.wires.Wire.ReadWriteEnd;\r
import era.mi.logic.wires.WireObserver;\r
\r