wie man herausfindet, ob der Rechner 32bit oder 64bit ist

Question

Gibt es eine Möglichkeit, mit einem C-Programm herauszufinden, ob das Betriebssystem derzeit im 32-Bit- oder im 64-Bit-Modus läuft? Ich verwende ein einfaches Programm wie unten

int main(void){
     switch(sizeof(void*)){
        case 4: printf("32\n");
        break;
        case 8: printf("64\n");
        break;
    }
}

Ist dies der richtige Ansatz? Würde dieser Code in allen Szenarien funktionieren, z.B. wenn die Hardware 64bit und das Betriebssystem 32bit ist, was würde er zurückgeben? Ich habe keine Maschine, um dies in verschiedenen Konfigurationen zu testen.

Danke für den Rat.