Symbol: CTL_KERN_NAMES