なんかいろいろいわれているが
>>611の、
> --pでpがstrの一つ前を指した時点で
これがすでにありえないコードなんだけど。

>>612で終わらなかったことに驚いている。