<procedure name="add" type="i32" src-file:line="1">
    <arguments>
        <argument type="i16">arg1</argument>
        <argument type="i16">arg2</argument>
    </arguments>
    <body>
        <return src-file:line="3">
            <add value1="arg1" value2="arg2" />
        </return>
    </body>
</procedure>
