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