Consider the following C program:#include <stdio.h> int main() { int a = 6; int b = 0; while(a < 10) { a = a / 12 + 1; a += b; } printf("%d", a); return 0; }Which one of the following statements is CORRECT?

Let us trace the execution of the program step by step:

1. Initial values of variables:

   • a = 6

   • b = 0

2. Iteration 1:

   • Check condition: a < 10 $\implies 6 < 10$, which evaluates to true.

   • a = a / 12 + 1: Since a is an integer, integer division $6 / 12$ evaluates to $0$. Thus, $a = 0 + 1 = 1$.

   • a += b: $a = 1 + 0 = 1$.

3. Iteration 2:

   • Check condition: a < 10 $\implies 1 < 10$, which evaluates to true.

   • a = a / 12 + 1: $1 / 12 = 0$, so $a = 0 + 1 = 1$.

   • a += b: $a = 1 + 0 = 1$.

4. For all subsequent iterations, a remains $1$, and the condition a < 10 will always be true. Therefore, the loop will never terminate, resulting in an infinite loop.

Thus, statement (C) is correct.