Symbol: KERN_OSTYPE