>>767
ポインタは、確保した範囲と、その1つ先までしか値があることを保証されていない。
なので、pt+2までは有効だが、さらに1足した時点でptの値の妥当性は保証されなくなる。

>>766
(int*)0 == NULLが1となることは保証されているが、NULL自体が0であることは保証されてたっけ？