とりあえずヘッダを２重インクルードしないようにするために使う。