<?xml version="1.0" encoding="UTF-8"?>
<hlvm xmlns="http://hlvm.org/src/hlvm/Reader/XML/HLVM.rng" pubid="http://hlvm.org/src/hlvm/test/xml2xml/progargs.hlx">
  <bundle id="progargs">
    <program id="progargs">
      <block>
        <result>
          <get id="argc"/>
        </result>
        <ret/>
      </block>
    </program>
  </bundle>
</hlvm>