Se consideră subprogramule C/C++ recursive C1 și C2, definite mai jos.

int C1 (int a, int b)
{ if(a==b) return a;
  else if(a>b) return C1(a-b,b);
       else return C1(a,b-a);
}
int C2 (int a, int b)
{ if(b==0) return a;
  else return C2(b,a%b);
}

La apel, returnează valoarea celui mai mare divizor comun al celor două numere naturale nenule primite ca parametri: