Symbol: CTL_MACHDEP_NAMES