after_dot         850 regex.cpp      	case after_dot:
after_dot        3240 regex.cpp      	case after_dot:
after_dot        4971 regex.cpp        	case after_dot:
after_dot        5274 regex.cpp          case after_dot: