Added cpu_get_instruction_counter().