<match value="0xfff5" type="string" offset="0"/> <!-- V2, L2      -->
      <match value="0xfff6" type="string" offset="0"/> <!-- V2, L1, CRC -->
      <match value="0xfff7" type="string" offset="0"/> <!-- V2, L1      -->
      <match value="0xfffa" type="string" offset="0"/> <!-- V1, L3, CRC -->
      <match value="0xfffb" type="string" offset="0"/> <!-- V1, L3      -->

For instance, this example:
</p>

<pre>
if n%2 == 1 {
	goto L1
}
for n &gt; 0 {
	f()
	n--
L1:
	f()
	n--
}
</pre>

<p>
is erroneous because the label <code>L1</code> is inside
the "for" statement's block but the <code>goto</code> is not.
</p>