pが指す"Hello, C"文字列の内容が書き換えられないことは仕様で決まっていても
pがいつまでも"Hello, C"を指してる保証はまったくないわけだが