Como Hallar el Máximo Común Divisor en C

Ya hemos visto como es la estructura del algoritmo de Euclides para hallar el Máximo Común Divisor entre dos números enteros (ver entrada aquí), y su implementación en algunos lenguajes de programación, e incluso a través de un diagrama de flujo y pseudocódigo.

Precisamente, cabe destacar aquí la representación que hicimos cuando vimos el algoritmo en un diagrama de flujo e implementado en pseudocódigo, porque tiene ciertas similitudes al que veremos a continuación en lenguaje C (Haz clic aquí para ver el diagrama de flujo para hallar el M.C.D).

Nuevamente reitero que en caso de que desees ver los comentarios explicados a fondo revises la entrada del Código fuente en Java para hallar el M.C.D

El código fuente en lenguaje C es el siguiente:

#include <stdio.h>
#include <stdlib.h>
#include <math.h>

void main() {
    // Declaramos las variables a usar
    int num1, num2, a, b, res;
    // Pedimos al usurio que ingrese los numeros
    printf("Ingrese el primer numero\n");
    scanf("%d",&num1);
    printf("Ingrese el segundo numero\n");
    scanf("%d",&num2);
    // Seleccionamos el mayor y el menor y lo
    // asignamos a las variables "a" y "b"
    if (num1>num2) {
        a = num1;
        b = num2;
    } else {
        a = num2;
        b = num1;
    }
    // Creamos el clclo que realizará
    // las iteraciones
    do {
        res = b;
        b = a%b;
        a = res;
    } while (b!=0);
    // Mostramos el resultado en pantalla
    printf("El M.C.D. entre %d y %d es: %d",num1,num2,res);
}

Bien, ahora y como es costumbre nuestra, compilaremos y ejecutaremos éste código para comprobar si funciona, y nuevamente los haremos con los datos de entrada 12 y 16, lo que tiene que arrojarnos como resultado el número 4: