Symbol: ras_critical_region