Example: CIL bound to 1ITU