C言語で、auto変数はその宣言時にNULLに初期化されることは保証されてるの?