<dec f='src/src/sys/dev/wscons/wsconsio.h' l='477' type='int [4]'/>
<offset>128</offset>
