Symbol: rsmcookie_t