Abort ^

(bad^) の ^ は先頭を示すアサーションである。これを先頭以外のところに
おけばマッチするはずがない。したがって、^ はabortに使える。