プラスマイナス問わずすべてのアドレスのオフセットを格納できるサイズが保証されてる整数ってありますか？ptrdiff_tってのがそうなんでしょうか？