puffs_msgif_releaseout
void puffs_msgif_releaseout(void *, void *, int);
.pop_releaseout = puffs_msgif_releaseout,