Symbol: ipcm_cookie