type CI = const Int CCI = const CI var x: CCI y: const CI begin end.