#import edu.berkeley.fleet #ship adder : AdderShip #ship memread : MemReadShip #ship memwrite : MemWriteShip #ship one : OneProducerShip #ship halt : HaltShip #memory { 000, 100, 200, 300, 400, 500 } one.out -> adder.in1 one.out -> adder.in2 adder.out -> memread.addr memread.data -> adder.in1 one.out -> adder.in2 adder.out -> halt.in