<dec f='src/src/sys/dev/ic/ispmbox.h' l='2048' type='__uint16_t [6]'/>
<dec f='src/src/sys/dev/ic/ispmbox.h' l='2067' type='__uint16_t [6]'/>
<offset>400</offset>
