figure_out_MACHINE_CPU
static char *figure_out_MACHINE_CPU(void);
char *machine_cpu = figure_out_MACHINE_CPU();