Nel senso che il codice macchina conterrà i due rami dell' #ifdef comunque e il ramo giusto viene scelto in fase di esecuzione?