/* Generated by re2c */
#line 1 "encodings/unicode_group_Cs_u.re"
// re2c $INPUT -o $OUTPUT -u
#include <stdint.h>
#include <stdio.h>
#define YYCTYPE uint32_t

bool scan(const YYCTYPE* start, const YYCTYPE* const limit) {
	__attribute__((unused)) const YYCTYPE* YYMARKER;
#define YYCURSOR start
Cs:

#line 14 "encodings/unicode_group_Cs_u.c"
{
	YYCTYPE yych;
	yych = *YYCURSOR;
	if (yych <= 0x0000D7FF) goto yy1;
	if (yych <= 0x0000DFFF) goto yy2;
yy1:
	++YYCURSOR;
#line 14 "encodings/unicode_group_Cs_u.re"
	{ return YYCURSOR - 1 == limit; }
#line 24 "encodings/unicode_group_Cs_u.c"
yy2:
	++YYCURSOR;
#line 13 "encodings/unicode_group_Cs_u.re"
	{ goto Cs; }
#line 29 "encodings/unicode_group_Cs_u.c"
}
#line 15 "encodings/unicode_group_Cs_u.re"

}

static const uint32_t chars_Cs[] = {0xd800,0xdfff,};

static uint32_t encode_utf32(const uint32_t* ranges, uint32_t ranges_count, uint32_t* s) {
	uint32_t* const s0 = s;
	for (uint32_t i = 0; i < ranges_count; i += 2)
		for (uint32_t j = ranges[i]; j <= ranges[i + 1]; ++j) *s++ = j;
	for (uint32_t i = 0; i < 1; ++i) s[i] = 0;
	return s - s0;
}

int main() {
	YYCTYPE* buffer_Cs = new YYCTYPE[2049];
	uint32_t buffer_Cs_len = encode_utf32(chars_Cs, sizeof(chars_Cs) / sizeof(uint32_t), buffer_Cs);
	if (!scan(buffer_Cs, buffer_Cs + buffer_Cs_len)) printf("test 'Cs' failed\n");
	delete[] buffer_Cs;
	return 0;
}
