#import edu.berkeley.fleet.ships #ship alu : Alu2 #ship debug : Debug #ship command : Command 0: sendto alu.a; 0: sendto alu.op; 42: sendto alu.b; 1: sendto alu.b; 5: sendto alu.b; alu.a: [*] take, deliver; alu.b: [*] take, deliver; alu.op: take; [*] deliver; debug.data: [*] take, deliver; alu.out: [*] nop; [*r] take, sendto alu.a; [*r] sendto debug.data; kill;