これを実行するとどうなる？

#include <stdio.h>
void main(void)
{
        while(1){
                int i = 0;
                printf("%d\n", i);
        }
}

ループの先頭で変数が確保されて初期化されるのかね．当たり前？