rename CTL constants