ポインタのビット列を格納しきれる整数型が必ず存在する保証って箇条どこだっけ