GCC_4.8.0 {
  __cpu_model
  __cpu_indicator_init
}