strstrの第二引数に空文字列を与えた場合に第一引数の値がそのまま返るというのは仕様で決められていますか？