Symbol: CTL_