-// this is a test
+#import edu.berkeley.fleet
- bob: { z -> q }
- bob -> mary
- mary := bob
+#ship adder : AdderShip
+#ship memread : MemReadShip
+#ship memwrite : MemWriteShip
+#ship one : OneProducerShip
+#ship halt : HaltShip
- a -> foo, /* charles, */ baz
+#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