K&Rのfopen関数の説明ではファイルとファイルポインタを結びつける時に、空きがあるかどうかは
fp->flagを参照してフラグが立っているかどうか調べているようなんですが、
最初にFILE構造体の中身は0で埋まっていることがコンパイラかOSで保証されているんでしょうか？