<dec f='src/src/sys/fs/puffs/puffs_msgif.h' l='456' type='int'/>
<offset>1248</offset>
