anchor.diff:     FIFOF#(Bit#(asz32)) fifo <- mkFIFOF1();
      Reg#(Bit#(32))   count <- mkReg(0);
   
  -
      method Action enq(a val);
  -       fifo.enq({pack(val),padding});
  +       fifo.enq({padding,pack(val)});
      endmethod
   
      method Bit#(32) first() if (fifo.notEmpty);
  
positive.code:        dynamicAssert(!fb32_17.notEmpty, "Adapter empty");
         dynamicAssert(fb32_17.notFull, "Adapter not full");
  
         $finish(0);
     endseq
     );
  
negative.code: endmodule
  
  module mkAdapterTb(Empty);
     ToBit32#(Bit#(72)) tb32_72 <- mkToBit32();
     ToBit32#(Bit#(17)) tb32_17 <- mkToBit32();
  
     FromBit32#(Bit#(72)) fb32_72 <- mkFromBit32();
     FromBit32#(Bit#(17)) fb32_17 <- mkFromBit32();
  