<dec f='src/src/sys/fs/puffs/puffs_msgif.h' l='225' type='puffs_cookie_t'/>
<offset>448</offset>
<use f='src/src/sys/fs/puffs/puffs_msgif.c' l='889' u='r' c='puffsop_flush'/>
