anchor.diff:     // INTERFACE
   
      method Action start(Addr initial_pc) if (!cpu_enabled);
  -      pc          <= initial_pc;
  +      pc[2]       <= initial_pc;
         pcEpoch     <= initial_pc;
         cpu_enabled <= True;
      endmethod
  
positive.code: 
     function Action fa_finish_cond_branch(Bool condition_taken, Addr next_pc);
        action
           rw_pc.wset(condition_taken ? next_pc : fv_fall_through_pc(pcEpoch));
           pcEpoch  <= (condition_taken ? next_pc : fv_fall_through_pc(pcEpoch));
        endaction
     endfunction
  
negative.code:    function Action fa_finish_jump(RegName rd, Word rd_value, Addr next_pc);
        action
           fifo_e2w.enq( Exec2Wb_t {rd: rd, rd_value: tagged Value rd_value} );
           pc[1]    <= next_pc;
           pcEpoch  <= next_pc;
        endaction
     endfunction
  