<dec f='src/src/sys/compat/netbsd32/netbsd32.h' l='1028' type='__int32_t'/>
<offset>480</offset>
