Symbol: TCTL_CT