"So, both for clarity, and a guarantee of correctness, if p is a pointer then its size is sizeof p." . . . .