Add ProgramCounter definition