// PC Management
   register #(32, text_start) PCReg(pc, nextpc, clk, ~internal_halt, reset);
   register #(32, text_start+4) PCReg2(nextpc, nextnextpc, clk,
				       ~internal_halt, reset);
   add_const #(32, 4) NextPCAdder(nextnextpc, nextpc);