Symbol: critical_section