>だから処理系はint * -> void * -> int *の変換が元に戻るかどうかを
>文書化しないといけない。

(-_-)zzzz ISO がすでに文書化していることを処理系の実装者が文書化する必要はないﾑﾆｬﾑﾆｬ