それはそうと、(void*)0が無効なポインタであるというのは、言語の定義？処理系の実装？