eregってひょっとしてPOSIX NFAというよりDFAなのかな。チェック用の曖昧な量指定子を持ったパターンでも予想外の速さで結果が出てしまう。マニュアル読む限りPOSIX NFAっぽい雰囲気なのだが。