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

<processor_spec>

  <programcounter register="pc"/>

  <register_data>
    <register name="contextreg" hidden="true"/>
  </register_data>
</processor_spec>
