For a C program accessing X[i][j][k], the following intermediate code is generated by a compiler. Assume that the size of an integer is 32 bits and the size of a character is 8 bits. t0 = i * 1024t1 = j * 32t2 = k * 4t3 = t1 + t0t4 = t3 + t2t5 = X[t4] Which one of the following statements about the source code for the C program is CORRECT?

In C, multidimensional arrays are stored in row-major order. For a 3D array declaration T X[D1][D2][D3] where the element size is $S$ bytes:

From the given intermediate code:

• t2 = k * 4 $\implies S = 4\text{ bytes} = 32\text{ bits}$ (element type is int).

• t1 = j * 32 $\implies D3 \times S = 32 \implies D3 \times 4 = 32 \implies D3 = 8$.

• t0 = i * 1024 $\implies D2 \times D3 \times S = 1024 \implies D2 \times 32 = 1024 \implies D2 = 32$.

Thus, the array elements are int, and the last two dimensions are $[32][8]$. Hence, X is declared as int X[32][32][8] (Option A).