仕様書に未定義とか書いてあるのは
完全な定義は実装で決まるという意味なんじゃないの