<dec f='src/src/sys/sys/exec_elf.h' l='793' type='__uint32_t'/>
<offset>96</offset>
