anchor.diff:     interface inputPipe = toPipeIn(inputFifo);
   endmodule
   
  -module mkSerialPortalMux#(Vector#(numIndications, PipeOut#(Bit#(32))) pipes)(PipeOut#(Bit#(32)));
  +module mkSerialPortalMux(SerialPortalMux#(pipeCount));
      let clock <- exposeCurrentClock;
      let reset <- exposeCurrentReset;
      Reg#(Bit#(16)) messageWordsReg <- mkReg(0);
  
positive.code:    let messageWordsProbe <- mkProbe();
     let messageDataProbe <- mkProbe();
  
     for (Integer i = valueOf(numIndications) - 1; i >= 0; i = i - 1) begin
        if (readyBits[i]) begin
           interruptStatus = True;
           readyChannel = fromInteger(i);
  
negative.code: 
     rule sendMessage if (state == MessageBody);
        messageWordsReg <= messageWordsReg - 1;
        let v <- toGet(inputFifos[methodIdReg]).get();
        outputFifo.enq(v);
        $display("sendMessage v=%h messageWords=%d paddingReg=%d", v, messageWordsReg, paddingReg);
        if (messageWordsReg == 1) begin
  