anchor.diff:  
   (* synthesize *)
   module mkRISCV(RISCV_IFC);
  -   (* hide *) let _m <- _mkRISCV(0);
  +   (* hide *) let _m <- _mkRISCV(3);
      return _m;
   endmodule
   
  
positive.code:                Word    value = pack(pc_s + iv);
  
                 fa_finish_with_Rd(decoded.rd, value);
              endaction
           endfunction: fa_exec_AUIPC
  
  
negative.code:                let         value = pack(iv);
  
                 fa_finish_with_Rd(decoded.rd, value);
                 if (cfg_verbose > 2) $display("[%7d] Decoded: PC = %h, lui %s, 0x%h", csr_cycle, decoded.pc, regNameABI[decoded.rd], value[31:12]);
              endaction
           endfunction: fa_exec_LUI
  
  