/* Generated by re2c */
#line 1 "encodings/unicode_group_No_u_encoding_policy_fail.re"
// re2c $INPUT -o $OUTPUT -u --encoding-policy fail
#include <stdio.h>

#define YYCTYPE unsigned int
bool scan(const YYCTYPE * start, const YYCTYPE * const limit)
{
	__attribute__((unused)) const YYCTYPE * YYMARKER; // silence compiler warnings when YYMARKER is not used
#	define YYCURSOR start
No:
	
#line 14 "encodings/unicode_group_No_u_encoding_policy_fail.c"
{
	YYCTYPE yych;
	yych = *YYCURSOR;
	if (yych <= 0x0001085F) {
		if (yych <= 0x00002188) {
			if (yych <= 0x00000D6F) {
				if (yych <= 0x000009F9) {
					if (yych <= 0x000000B9) {
						if (yych <= 0x000000B1) goto yy1;
						if (yych <= 0x000000B3) goto yy2;
						if (yych >= 0x000000B9) goto yy2;
					} else {
						if (yych <= 0x000000BB) goto yy1;
						if (yych <= 0x000000BE) goto yy2;
						if (yych >= 0x000009F4) goto yy2;
					}
				} else {
					if (yych <= 0x00000BF2) {
						if (yych <= 0x00000B71) goto yy1;
						if (yych <= 0x00000B77) goto yy2;
						if (yych >= 0x00000BF0) goto yy2;
					} else {
						if (yych <= 0x00000C7E) {
							if (yych >= 0x00000C78) goto yy2;
						} else {
							if (yych <= 0x00000D57) goto yy1;
							if (yych <= 0x00000D5E) goto yy2;
						}
					}
				}
			} else {
				if (yych <= 0x000019DA) {
					if (yych <= 0x00001368) {
						if (yych <= 0x00000D78) goto yy2;
						if (yych <= 0x00000F29) goto yy1;
						if (yych <= 0x00000F33) goto yy2;
					} else {
						if (yych <= 0x000017EF) {
							if (yych <= 0x0000137C) goto yy2;
						} else {
							if (yych <= 0x000017F9) goto yy2;
							if (yych >= 0x000019DA) goto yy2;
						}
					}
				} else {
					if (yych <= 0x00002079) {
						if (yych == 0x00002070) goto yy2;
						if (yych >= 0x00002074) goto yy2;
					} else {
						if (yych <= 0x00002089) {
							if (yych >= 0x00002080) goto yy2;
						} else {
							if (yych <= 0x0000214F) goto yy1;
							if (yych <= 0x0000215F) goto yy2;
						}
					}
				}
			}
		} else {
			if (yych <= 0x0000325F) {
				if (yych <= 0x00002CFC) {
					if (yych <= 0x000024E9) {
						if (yych <= 0x00002189) goto yy2;
						if (yych <= 0x0000245F) goto yy1;
						if (yych <= 0x0000249B) goto yy2;
					} else {
						if (yych <= 0x000024FF) goto yy2;
						if (yych <= 0x00002775) goto yy1;
						if (yych <= 0x00002793) goto yy2;
					}
				} else {
					if (yych <= 0x0000321F) {
						if (yych <= 0x00002CFD) goto yy2;
						if (yych <= 0x00003191) goto yy1;
						if (yych <= 0x00003195) goto yy2;
					} else {
						if (yych <= 0x00003247) {
							if (yych <= 0x00003229) goto yy2;
						} else {
							if (yych != 0x00003250) goto yy2;
						}
					}
				}
			} else {
				if (yych <= 0x00010174) {
					if (yych <= 0x000032BF) {
						if (yych <= 0x0000327F) goto yy1;
						if (yych <= 0x00003289) goto yy2;
						if (yych >= 0x000032B1) goto yy2;
					} else {
						if (yych <= 0x0000A835) {
							if (yych >= 0x0000A830) goto yy2;
						} else {
							if (yych <= 0x00010106) goto yy1;
							if (yych <= 0x00010133) goto yy2;
						}
					}
				} else {
					if (yych <= 0x000102E0) {
						if (yych <= 0x00010178) goto yy2;
						if (yych <= 0x00010189) goto yy1;
						if (yych <= 0x0001018B) goto yy2;
					} else {
						if (yych <= 0x0001031F) {
							if (yych <= 0x000102FB) goto yy2;
						} else {
							if (yych <= 0x00010323) goto yy2;
							if (yych >= 0x00010858) goto yy2;
						}
					}
				}
			}
		}
	} else {
		if (yych <= 0x00010F50) {
			if (yych <= 0x00010A7C) {
				if (yych <= 0x0001091B) {
					if (yych <= 0x000108AF) {
						if (yych <= 0x00010878) goto yy1;
						if (yych <= 0x0001087F) goto yy2;
						if (yych >= 0x000108A7) goto yy2;
					} else {
						if (yych <= 0x000108FA) goto yy1;
						if (yych <= 0x000108FF) goto yy2;
						if (yych >= 0x00010916) goto yy2;
					}
				} else {
					if (yych <= 0x000109CF) {
						if (yych <= 0x000109BB) goto yy1;
						if (yych <= 0x000109BD) goto yy2;
						if (yych >= 0x000109C0) goto yy2;
					} else {
						if (yych <= 0x000109FF) {
							if (yych >= 0x000109D2) goto yy2;
						} else {
							if (yych <= 0x00010A3F) goto yy1;
							if (yych <= 0x00010A48) goto yy2;
						}
					}
				}
			} else {
				if (yych <= 0x00010B7F) {
					if (yych <= 0x00010AEA) {
						if (yych <= 0x00010A7E) goto yy2;
						if (yych <= 0x00010A9C) goto yy1;
						if (yych <= 0x00010A9F) goto yy2;
					} else {
						if (yych <= 0x00010B57) {
							if (yych <= 0x00010AEF) goto yy2;
						} else {
							if (yych <= 0x00010B5F) goto yy2;
							if (yych >= 0x00010B78) goto yy2;
						}
					}
				} else {
					if (yych <= 0x00010CFF) {
						if (yych <= 0x00010BA8) goto yy1;
						if (yych <= 0x00010BAF) goto yy2;
						if (yych >= 0x00010CFA) goto yy2;
					} else {
						if (yych <= 0x00010E7E) {
							if (yych >= 0x00010E60) goto yy2;
						} else {
							if (yych <= 0x00010F1C) goto yy1;
							if (yych <= 0x00010F26) goto yy2;
						}
					}
				}
			}
		} else {
			if (yych <= 0x0001D2DF) {
				if (yych <= 0x000118F2) {
					if (yych <= 0x000111E0) {
						if (yych <= 0x00010F54) goto yy2;
						if (yych <= 0x00011051) goto yy1;
						if (yych <= 0x00011065) goto yy2;
					} else {
						if (yych <= 0x00011739) {
							if (yych <= 0x000111F4) goto yy2;
						} else {
							if (yych <= 0x0001173B) goto yy2;
							if (yych >= 0x000118EA) goto yy2;
						}
					}
				} else {
					if (yych <= 0x00011FD4) {
						if (yych <= 0x00011C59) goto yy1;
						if (yych <= 0x00011C6C) goto yy2;
						if (yych >= 0x00011FC0) goto yy2;
					} else {
						if (yych <= 0x00016B61) {
							if (yych >= 0x00016B5B) goto yy2;
						} else {
							if (yych <= 0x00016E7F) goto yy1;
							if (yych <= 0x00016E96) goto yy2;
						}
					}
				}
			} else {
				if (yych <= 0x0001ECAF) {
					if (yych <= 0x0001E8C6) {
						if (yych <= 0x0001D2F3) goto yy2;
						if (yych <= 0x0001D35F) goto yy1;
						if (yych <= 0x0001D378) goto yy2;
					} else {
						if (yych <= 0x0001EC70) {
							if (yych <= 0x0001E8CF) goto yy2;
						} else {
							if (yych != 0x0001ECAC) goto yy2;
						}
					}
				} else {
					if (yych <= 0x0001ED2D) {
						if (yych <= 0x0001ECB0) goto yy1;
						if (yych <= 0x0001ECB4) goto yy2;
						if (yych >= 0x0001ED01) goto yy2;
					} else {
						if (yych <= 0x0001ED3D) {
							if (yych >= 0x0001ED2F) goto yy2;
						} else {
							if (yych <= 0x0001F0FF) goto yy1;
							if (yych <= 0x0001F10C) goto yy2;
						}
					}
				}
			}
		}
	}
yy1:
	++YYCURSOR;
#line 14 "encodings/unicode_group_No_u_encoding_policy_fail.re"
	{ return YYCURSOR == limit; }
#line 247 "encodings/unicode_group_No_u_encoding_policy_fail.c"
yy2:
	++YYCURSOR;
#line 13 "encodings/unicode_group_No_u_encoding_policy_fail.re"
	{ goto No; }
#line 252 "encodings/unicode_group_No_u_encoding_policy_fail.c"
}
#line 15 "encodings/unicode_group_No_u_encoding_policy_fail.re"

}
static const unsigned int chars_No [] = {0xb2,0xb3,  0xb9,0xb9,  0xbc,0xbe,  0x9f4,0x9f9,  0xb72,0xb77,  0xbf0,0xbf2,  0xc78,0xc7e,  0xd58,0xd5e,  0xd70,0xd78,  0xf2a,0xf33,  0x1369,0x137c,  0x17f0,0x17f9,  0x19da,0x19da,  0x2070,0x2070,  0x2074,0x2079,  0x2080,0x2089,  0x2150,0x215f,  0x2189,0x2189,  0x2460,0x249b,  0x24ea,0x24ff,  0x2776,0x2793,  0x2cfd,0x2cfd,  0x3192,0x3195,  0x3220,0x3229,  0x3248,0x324f,  0x3251,0x325f,  0x3280,0x3289,  0x32b1,0x32bf,  0xa830,0xa835,  0x10107,0x10133,  0x10175,0x10178,  0x1018a,0x1018b,  0x102e1,0x102fb,  0x10320,0x10323,  0x10858,0x1085f,  0x10879,0x1087f,  0x108a7,0x108af,  0x108fb,0x108ff,  0x10916,0x1091b,  0x109bc,0x109bd,  0x109c0,0x109cf,  0x109d2,0x109ff,  0x10a40,0x10a48,  0x10a7d,0x10a7e,  0x10a9d,0x10a9f,  0x10aeb,0x10aef,  0x10b58,0x10b5f,  0x10b78,0x10b7f,  0x10ba9,0x10baf,  0x10cfa,0x10cff,  0x10e60,0x10e7e,  0x10f1d,0x10f26,  0x10f51,0x10f54,  0x11052,0x11065,  0x111e1,0x111f4,  0x1173a,0x1173b,  0x118ea,0x118f2,  0x11c5a,0x11c6c,  0x11fc0,0x11fd4,  0x16b5b,0x16b61,  0x16e80,0x16e96,  0x1d2e0,0x1d2f3,  0x1d360,0x1d378,  0x1e8c7,0x1e8cf,  0x1ec71,0x1ecab,  0x1ecad,0x1ecaf,  0x1ecb1,0x1ecb4,  0x1ed01,0x1ed2d,  0x1ed2f,0x1ed3d,  0x1f100,0x1f10c,  0x0,0x0};
static unsigned int encode_utf32 (const unsigned int * ranges, unsigned int ranges_count, unsigned int * s)
{
	unsigned int * const s_start = s;
	for (unsigned int i = 0; i < ranges_count; i += 2)
		for (unsigned int j = ranges[i]; j <= ranges[i + 1]; ++j)
			*s++ = j;
	return s - s_start;
}

int main ()
{
	unsigned int * buffer_No = new unsigned int [889];
	YYCTYPE * s = (YYCTYPE *) buffer_No;
	unsigned int buffer_len = encode_utf32 (chars_No, sizeof (chars_No) / sizeof (unsigned int), buffer_No);
	/* convert 32-bit code units to YYCTYPE; reuse the same buffer */
	for (unsigned int i = 0; i < buffer_len; ++i) s[i] = buffer_No[i];
	if (!scan (s, s + buffer_len))
		printf("test 'No' failed\n");
	delete [] buffer_No;
	return 0;
}
