<?xml version="1.0"?>
<def format="2">
  <function name="rte_panic">
    <noreturn>true</noreturn>
    <formatstr/>
    <arg nr="1" direction="in">
      <not-uninit/>
      <formatstr/>
    </arg>
  </function>
</def>