<dec f='src/src/sys/sys/wapbl_replay.h' l='122' type='__int32_t'/>
<offset>96</offset>
