int a = 3; { int a = a; printf( "%d", a ); }

このとき表示される数字は 3 ですか？それとも不定ですか？
JIS X 3010-1993 を少し読んだんですが分かりませんでした。