<dec f='src/src/sys/net/if_gif.h' l='58' type='int'/>
<offset>8000</offset>
