#include <stdio.h>

int i;
void main()
{
int j;
printf( "%d\n", i );
printf( "%d\n", j );
}

この結果が
0
-85899346
になるのですが
グローバル変数 int i は初期化しなくても 0 になるということは
保証されているのでしょうか?