/* Generated by re2c */
#line 1 "encodings/unicode_group_Pf_x.re"
// re2c $INPUT -o $OUTPUT -x
#include <stdint.h>
#include <stdio.h>
#include "utf16.h"
#define YYCTYPE uint16_t

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

#line 15 "encodings/unicode_group_Pf_x.c"
{
	YYCTYPE yych;
	yych = *YYCURSOR;
	if (yych <= 0x2E03) {
		if (yych <= 0x201C) {
			if (yych <= 0x00BB) {
				if (yych >= 0x00BB) goto yy1;
			} else {
				if (yych == 0x2019) goto yy1;
			}
		} else {
			if (yych <= 0x2039) {
				if (yych <= 0x201D) goto yy1;
			} else {
				if (yych <= 0x203A) goto yy1;
				if (yych >= 0x2E03) goto yy1;
			}
		}
	} else {
		if (yych <= 0x2E0C) {
			if (yych <= 0x2E05) {
				if (yych >= 0x2E05) goto yy1;
			} else {
				if (yych == 0x2E0A) goto yy1;
			}
		} else {
			if (yych <= 0x2E1D) {
				if (yych <= 0x2E0D) goto yy1;
				if (yych >= 0x2E1D) goto yy1;
			} else {
				if (yych == 0x2E21) goto yy1;
			}
		}
	}
	++YYCURSOR;
#line 15 "encodings/unicode_group_Pf_x.re"
	{ return YYCURSOR - 1 == limit; }
#line 53 "encodings/unicode_group_Pf_x.c"
yy1:
	++YYCURSOR;
#line 14 "encodings/unicode_group_Pf_x.re"
	{ goto Pf; }
#line 58 "encodings/unicode_group_Pf_x.c"
}
#line 16 "encodings/unicode_group_Pf_x.re"

}

static const uint32_t chars_Pf[] = {0xbb,0xbb,0x2019,0x2019,0x201d,0x201d,0x203a,0x203a,0x2e03,0x2e03,0x2e05,0x2e05,0x2e0a,0x2e0a,0x2e0d,0x2e0d,0x2e1d,0x2e1d,0x2e21,0x2e21,};

static uint32_t encode_utf16(const uint32_t* ranges, uint32_t ranges_count, uint16_t* s) {
	uint16_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)
			if (j <= re2c::utf16::MAX_1WORD_RUNE) {
				*s++ = j;
			} else {
				*s++ = re2c::utf16::lead_surr(j);
				*s++ = re2c::utf16::trail_surr(j);
			}
	for (uint32_t i = 0; i < 2; ++i) s[i] = 0;
	return s - s0;
}

int main() {
	YYCTYPE* buffer_Pf = new YYCTYPE[22];
	uint32_t buffer_Pf_len = encode_utf16(chars_Pf, sizeof(chars_Pf) / sizeof(uint32_t), buffer_Pf);
	if (!scan(buffer_Pf, buffer_Pf + buffer_Pf_len)) printf("test 'Pf' failed\n");
	delete[] buffer_Pf;
	return 0;
}
