<dec f='src/src/sys/lib/libkern/libkern.h' l='362' type='__uint32_t [3]'/>
<offset>20032</offset>
