C言語で、任意のポインタ変数 p に対して、sizeof p は必ず 4 になるの?