-alu21.out: [Rq] collect;
-//alu21.out: [Rq] set flags a=a, b=b; // uncommenting this line will mask the bug
-alu21.out: [Rq] send to debug0.in;
-alu21.out: [Rq] recv token;
+alu21.out: collect;
+//alu21.out: set flags a=a, b=b; // uncommenting this line will mask the bug
+alu21.out: send to debug0.in;
+alu21.out: recv token;