Symbol: is_robust_mutex