Update ProgramCounter.v