<?xml version="1.0" encoding="UTF-8"?>

<processor_spec>
  <programcounter register="R7"/>
</processor_spec>
