<dec f='src/src/sys/compat/sys/rnd.h' l='60' type='__uint32_t'/>
<dec f='src/src/sys/compat/sys/rnd.h' l='72' type='__uint32_t'/>
<offset>128</offset>
