anchor.diff:        for(Integer i = 0; i < 8; i = i + 1) begin
            let data_resp <- dmemory[i].mem_resp;
            resp[i] = fromMaybe(?, data_resp);
  -    
  +
            if (cfg_verbose > 0 && !isValid(data_resp)) begin
               $display("[%7d] (  |   W) : Memory read failed on Bank(%d)", csr_cycle, i);
               $finish;
  
positive.code:          Word_S  s_v1 = unpack(v1);
           Word_S  s_v2 = unpack(v2);
  
           // Value of CSR field of instr (if a valid CSR address)
           Maybe #(Word) m_v_csr = fv_read_csr(fields.csr);
  
           // ----------------------------------------------------------------
           // Instructions for Upper Immediate
  
negative.code:    // Internal 256-bits memory bus
     RWire#(Vector#(8, Word)) rw_memBus  <- mkUnsafeRWire;
  
  
     // ----------------------------------------------------------------
     // Instruction execution
  