Failed assertion in parser.c (ts_parser__external_scanner_serialize)

[domodwyer]

Hi there!

I have recently wrote a TLA formatter using the rust bindings (tlafmt), and as part of the project I have been fuzzing the internal library end-to-end - it has caught a failed assertion in the tree-sitter code:

Assertion failed: (length <= 1024), function ts_parser__external_scanner_serialize, file parser.c, line 408.

For the following input (2456 chars long):

~-e*d*\//\-\-d*\/-qeA*/\A�TJe-f'T@*d*\//\-d*\/-qeA*/\A�TJe-f'T@*d*\//\-d*\/-qeC*/\-d*\/-qeA*/\A�TJe-f'T@*deC*/\-d*\/-qeA*/\A�TJe-f'T@*d*\//\-d\/C*/\-d*\/-qeA*/\A�TJe-f'T@*d*\//\-d*\//\-d*\/-qeC*/\-d*\/-qeA*/\A�TJe-f'T@*deC*/\-d*\/-qeA*/\A�TJe-f'T@*d*\//\-//\-d*\/-qeC*/\-d*\/-qeA*/\A�TJe-f-d*\/-qeA*\//\-d*\//\-d*\/-\A�TJe-f'T@*d*\//\-Je-f'T@*d*\//\-\//\-d*\/-qeC*/\-d*\/-qeA*/\A�TJe-f'T@*deC*/\-d*\/-qeA*/\A�TJe-f'T@*d*\//\-d*\//\-d*\/-qeC*/\-d*\/-qeA*/\A�TJe-f'T@*deC*/\-d*\/-qeA*/\A�TJe-f'T@*d*\//\-/\A�TJe-f'T@*d*\//\-d*\/-qeA*/\A�TJe-f'T@*d*\//\-d*\/-qeC*/\-d*\/-qeA*/\A�TJe-f'T@*deC*/\-d*\/-qeA*/\A�TJe-f'T@*d*\//\-d*\//\-d*\/-qeC*/\-d*\/-qeA*/\A�TJe-f'T@*deC*/\-d*\/-qeA*/\A�TJe-f'T@*d*\//\-@*d*\//\-d*\/-qeA*/\A�TJe-f'T@*d*\//\-d*\/-qeC*/\-d*\/-qeA*/\A�TJe-f'T@*deC*/\-d*\/-qeA*/\A�TJe-f'T@*d*\//\-d*\//\-d*\/-qeC*/\-d*\/-qeA*/\A�TJe-f'T@*deC*/\-d*\/-qeA*/\A�TJe-f'T@*d*\//\-//\-d*\/-qeC*/\-d*\/-qeA*/\A�TJe-f-d*\/-qeA*\//\-d*\//\-d*\/-qeC*/\-d*\/-qeA*/\A�TJe-f'T@*deC*/\-d*\/-qeA*/\A�TJe-f'T@*d*\//\-Je-f'T@*d*\//\-\//\-d*\/-qeC*/\-d*\/-qeA*/\A�TJe-f'T@*deC*/\-d*\/-qeA*/\A�TJe-f'T@*d*\//\-d*\//\-d*\/-qeC*/\-d*\/-qeA*/\A�TJe-f'T@*deC*/\-d*\/-qeA*/\A�TJe-f'T@*d*\//\-/\A�TJe-f'T@*d*\//\-d*\/-qeA*/\A�TJe-f'T@*d*\//\-d*\/-qeC*/\-d*\/-qeA*/\A�TJe-f'T@*deC*/\-d*\/-qeA*/\A�TJe-f'T@*d*\//\-d*\//\-d*\/-qeC*/\-d*\/-qeA*/\A�TJe-f'T@*deC*/\-d*\/-qeA*/\A�TJe-f'T@*d*\//\-//\-d*\/-qeC*/\-d*\/-qeA*/\A�TJe-f'T@*deC*/\-d*\/-qeA*/\A�TJe-f'T@*d*\//\-Je-f'T@*d*\//\-\//\-d*\/-qeC*/\-d*\/-qeA*/\A�TJe-f'T@*deC*/\-d*\/-qeA*/\A�TJe-f'T@*d*\//\-d*\//\-d*\/-qeC*/\-d*\/-qeA*/\A�TJe-f'T@*deC*/\-d*\/-qeA*/\A�TJe-f'T@*d*\//\-/\A�TJe-f'T@*d*\//\-d*\/-qeA*/\A�TJe-f'T@*d*\//\-d*\/-qeC*/\-d*\/-qeA*/\A�TJe-f'T@*deC*/\-d*\/-qeA*/\A�TJe-f'T@*d*\//\-d*\//\-d*\/-qeC*/\-d*\/-qeA*/\A�TJe-f'T@*deC*/\-d*\/-qeA*/\A�TJe-f'T@*d*\//\-e-f'T@*d*\//\-/\A�TJe-f'T@*d*\//\-d*\/-qeA*/\A�TJe-f'T@*d*\//\-d*\/-qeC*/\-d*\/-qeA*/\A�TJe-f'T@*deC*/\-d*\/-qeA*/\A�TJe-f'T@*d*\//\-d*\//\-d*\/-qeC*/\-d*\/-qeA*/\A�TJe-f'T@*deC*/\-d*\/-qeA*/\A�TJe-f'T@*d*\//\-//\-d*\/-qeC*/\-d*\/-qeA*/\A�TJe-f'T@*deC*/\-d*\/-qeA*/\A�TJe-f'T@*d*\//\-Je-f'T@*d*\//\-\//\-d*\/-qeC*/\-d*\/-qeA*/\A�TJe-f'T@*deC*/\-d*\/-qeA*/\A�TJe-f'T@*d*\//\-d*\//\-d*\/-qeC*/\-d*\/-qeA*/\A�TJe-f'T@*deC*/\-d*\/-qeA*/\A�TJe-f'T@*d*\//\-/\A�TJe-f'T@*d*\//\-d*\/-qeA*/\A�TJe-f'T@*d*\//\-d*\/-qeC*/\-d*\/-qeA*/\A�TJe-f'T@*deC*/\-d*\/-qeA*/\A�TJe-f'T@*d*\//\-d*\//\-d*\/-qeC*/\-d*\/-qeA*/\A�TJe-f'T@*deC*/\-d*\/-qeA*/\A�TJe-f'T@*d*\//\-

Here it is as a byte array too.

The string is a bit unwieldy - here's a byte array:

const CRASH: [u8; 2456] = [
    0x7e, 0x2d, 0x65, 0x2a, 0x64, 0x2a, 0x5c, 0x2f, 0x2f, 0x5c, 0x2d, 0x5c, 0x2d, 0x64, 0x2a, 0x5c,
    0x2f, 0x2d, 0x71, 0x65, 0x41, 0x2a, 0x2f, 0x5c, 0x41, 0x0e, 0x54, 0x4a, 0x65, 0x2d, 0x66, 0x27,
    0x54, 0x40, 0x2a, 0x64, 0x2a, 0x5c, 0x2f, 0x2f, 0x5c, 0x2d, 0x64, 0x2a, 0x5c, 0x2f, 0x2d, 0x71,
    0x65, 0x41, 0x2a, 0x2f, 0x5c, 0x41, 0x0e, 0x54, 0x4a, 0x65, 0x2d, 0x66, 0x27, 0x54, 0x40, 0x2a,
    0x64, 0x2a, 0x5c, 0x2f, 0x2f, 0x5c, 0x2d, 0x64, 0x2a, 0x5c, 0x2f, 0x2d, 0x71, 0x65, 0x43, 0x2a,
    0x2f, 0x5c, 0x2d, 0x64, 0x2a, 0x5c, 0x2f, 0x2d, 0x71, 0x65, 0x41, 0x2a, 0x2f, 0x5c, 0x41, 0x0e,
    0x54, 0x4a, 0x65, 0x2d, 0x66, 0x27, 0x54, 0x40, 0x2a, 0x64, 0x65, 0x43, 0x2a, 0x2f, 0x5c, 0x2d,
    0x64, 0x2a, 0x5c, 0x2f, 0x2d, 0x71, 0x65, 0x41, 0x2a, 0x2f, 0x5c, 0x41, 0x0e, 0x54, 0x4a, 0x65,
    0x2d, 0x66, 0x27, 0x54, 0x40, 0x2a, 0x64, 0x2a, 0x5c, 0x2f, 0x2f, 0x5c, 0x2d, 0x64, 0x5c, 0x2f,
    0x43, 0x2a, 0x2f, 0x5c, 0x2d, 0x64, 0x2a, 0x5c, 0x2f, 0x2d, 0x71, 0x65, 0x41, 0x2a, 0x2f, 0x5c,
    0x41, 0x0e, 0x54, 0x4a, 0x65, 0x2d, 0x66, 0x27, 0x54, 0x40, 0x2a, 0x64, 0x2a, 0x5c, 0x2f, 0x2f,
    0x5c, 0x2d, 0x64, 0x2a, 0x5c, 0x2f, 0x2f, 0x5c, 0x2d, 0x64, 0x2a, 0x5c, 0x2f, 0x2d, 0x71, 0x65,
    0x43, 0x2a, 0x2f, 0x5c, 0x2d, 0x64, 0x2a, 0x5c, 0x2f, 0x2d, 0x71, 0x65, 0x41, 0x2a, 0x2f, 0x5c,
    0x41, 0x0e, 0x54, 0x4a, 0x65, 0x2d, 0x66, 0x27, 0x54, 0x40, 0x2a, 0x64, 0x65, 0x43, 0x2a, 0x2f,
    0x5c, 0x2d, 0x64, 0x2a, 0x5c, 0x2f, 0x2d, 0x71, 0x65, 0x41, 0x2a, 0x2f, 0x5c, 0x41, 0x0e, 0x54,
    0x4a, 0x65, 0x2d, 0x66, 0x27, 0x54, 0x40, 0x2a, 0x64, 0x2a, 0x5c, 0x2f, 0x2f, 0x5c, 0x2d, 0x2f,
    0x2f, 0x5c, 0x2d, 0x64, 0x2a, 0x5c, 0x2f, 0x2d, 0x71, 0x65, 0x43, 0x2a, 0x2f, 0x5c, 0x2d, 0x64,
    0x2a, 0x5c, 0x2f, 0x2d, 0x71, 0x65, 0x41, 0x2a, 0x2f, 0x5c, 0x41, 0x0e, 0x54, 0x4a, 0x65, 0x2d,
    0x66, 0x2d, 0x64, 0x2a, 0x5c, 0x2f, 0x2d, 0x71, 0x65, 0x41, 0x2a, 0x5c, 0x2f, 0x2f, 0x5c, 0x2d,
    0x64, 0x2a, 0x5c, 0x2f, 0x2f, 0x5c, 0x2d, 0x64, 0x2a, 0x5c, 0x2f, 0x2d, 0x5c, 0x41, 0x0e, 0x54,
    0x4a, 0x65, 0x2d, 0x66, 0x27, 0x54, 0x40, 0x2a, 0x64, 0x2a, 0x5c, 0x2f, 0x2f, 0x5c, 0x2d, 0x4a,
    0x65, 0x2d, 0x66, 0x27, 0x54, 0x40, 0x2a, 0x64, 0x2a, 0x5c, 0x2f, 0x2f, 0x5c, 0x2d, 0x5c, 0x2f,
    0x2f, 0x5c, 0x2d, 0x64, 0x2a, 0x5c, 0x2f, 0x2d, 0x71, 0x65, 0x43, 0x2a, 0x2f, 0x5c, 0x2d, 0x64,
    0x2a, 0x5c, 0x2f, 0x2d, 0x71, 0x65, 0x41, 0x2a, 0x2f, 0x5c, 0x41, 0x0e, 0x54, 0x4a, 0x65, 0x2d,
    0x66, 0x27, 0x54, 0x40, 0x2a, 0x64, 0x65, 0x43, 0x2a, 0x2f, 0x5c, 0x2d, 0x64, 0x2a, 0x5c, 0x2f,
    0x2d, 0x71, 0x65, 0x41, 0x2a, 0x2f, 0x5c, 0x41, 0x0e, 0x54, 0x4a, 0x65, 0x2d, 0x66, 0x27, 0x54,
    0x40, 0x2a, 0x64, 0x2a, 0x5c, 0x2f, 0x2f, 0x5c, 0x2d, 0x64, 0x2a, 0x5c, 0x2f, 0x2f, 0x5c, 0x2d,
    0x64, 0x2a, 0x5c, 0x2f, 0x2d, 0x71, 0x65, 0x43, 0x2a, 0x2f, 0x5c, 0x2d, 0x64, 0x2a, 0x5c, 0x2f,
    0x2d, 0x71, 0x65, 0x41, 0x2a, 0x2f, 0x5c, 0x41, 0x0e, 0x54, 0x4a, 0x65, 0x2d, 0x66, 0x27, 0x54,
    0x40, 0x2a, 0x64, 0x65, 0x43, 0x2a, 0x2f, 0x5c, 0x2d, 0x64, 0x2a, 0x5c, 0x2f, 0x2d, 0x71, 0x65,
    0x41, 0x2a, 0x2f, 0x5c, 0x41, 0x0e, 0x54, 0x4a, 0x65, 0x2d, 0x66, 0x27, 0x54, 0x40, 0x2a, 0x64,
    0x2a, 0x5c, 0x2f, 0x2f, 0x5c, 0x2d, 0x2f, 0x5c, 0x41, 0x0e, 0x54, 0x4a, 0x65, 0x2d, 0x66, 0x27,
    0x54, 0x40, 0x2a, 0x64, 0x2a, 0x5c, 0x2f, 0x2f, 0x5c, 0x2d, 0x64, 0x2a, 0x5c, 0x2f, 0x2d, 0x71,
    0x65, 0x41, 0x2a, 0x2f, 0x5c, 0x41, 0x0e, 0x54, 0x4a, 0x65, 0x2d, 0x66, 0x27, 0x54, 0x40, 0x2a,
    0x64, 0x2a, 0x5c, 0x2f, 0x2f, 0x5c, 0x2d, 0x64, 0x2a, 0x5c, 0x2f, 0x2d, 0x71, 0x65, 0x43, 0x2a,
    0x2f, 0x5c, 0x2d, 0x64, 0x2a, 0x5c, 0x2f, 0x2d, 0x71, 0x65, 0x41, 0x2a, 0x2f, 0x5c, 0x41, 0x0e,
    0x54, 0x4a, 0x65, 0x2d, 0x66, 0x27, 0x54, 0x40, 0x2a, 0x64, 0x65, 0x43, 0x2a, 0x2f, 0x5c, 0x2d,
    0x64, 0x2a, 0x5c, 0x2f, 0x2d, 0x71, 0x65, 0x41, 0x2a, 0x2f, 0x5c, 0x41, 0x0e, 0x54, 0x4a, 0x65,
    0x2d, 0x66, 0x27, 0x54, 0x40, 0x2a, 0x64, 0x2a, 0x5c, 0x2f, 0x2f, 0x5c, 0x2d, 0x64, 0x2a, 0x5c,
    0x2f, 0x2f, 0x5c, 0x2d, 0x64, 0x2a, 0x5c, 0x2f, 0x2d, 0x71, 0x65, 0x43, 0x2a, 0x2f, 0x5c, 0x2d,
    0x64, 0x2a, 0x5c, 0x2f, 0x2d, 0x71, 0x65, 0x41, 0x2a, 0x2f, 0x5c, 0x41, 0x0e, 0x54, 0x4a, 0x65,
    0x2d, 0x66, 0x27, 0x54, 0x40, 0x2a, 0x64, 0x65, 0x43, 0x2a, 0x2f, 0x5c, 0x2d, 0x64, 0x2a, 0x5c,
    0x2f, 0x2d, 0x71, 0x65, 0x41, 0x2a, 0x2f, 0x5c, 0x41, 0x0e, 0x54, 0x4a, 0x65, 0x2d, 0x66, 0x27,
    0x54, 0x40, 0x2a, 0x64, 0x2a, 0x5c, 0x2f, 0x2f, 0x5c, 0x2d, 0x40, 0x2a, 0x64, 0x2a, 0x5c, 0x2f,
    0x2f, 0x5c, 0x2d, 0x64, 0x2a, 0x5c, 0x2f, 0x2d, 0x71, 0x65, 0x41, 0x2a, 0x2f, 0x5c, 0x41, 0x0e,
    0x54, 0x4a, 0x65, 0x2d, 0x66, 0x27, 0x54, 0x40, 0x2a, 0x64, 0x2a, 0x5c, 0x2f, 0x2f, 0x5c, 0x2d,
    0x64, 0x2a, 0x5c, 0x2f, 0x2d, 0x71, 0x65, 0x43, 0x2a, 0x2f, 0x5c, 0x2d, 0x64, 0x2a, 0x5c, 0x2f,
    0x2d, 0x71, 0x65, 0x41, 0x2a, 0x2f, 0x5c, 0x41, 0x0e, 0x54, 0x4a, 0x65, 0x2d, 0x66, 0x27, 0x54,
    0x40, 0x2a, 0x64, 0x65, 0x43, 0x2a, 0x2f, 0x5c, 0x2d, 0x64, 0x2a, 0x5c, 0x2f, 0x2d, 0x71, 0x65,
    0x41, 0x2a, 0x2f, 0x5c, 0x41, 0x0e, 0x54, 0x4a, 0x65, 0x2d, 0x66, 0x27, 0x54, 0x40, 0x2a, 0x64,
    0x2a, 0x5c, 0x2f, 0x2f, 0x5c, 0x2d, 0x64, 0x2a, 0x5c, 0x2f, 0x2f, 0x5c, 0x2d, 0x64, 0x2a, 0x5c,
    0x2f, 0x2d, 0x71, 0x65, 0x43, 0x2a, 0x2f, 0x5c, 0x2d, 0x64, 0x2a, 0x5c, 0x2f, 0x2d, 0x71, 0x65,
    0x41, 0x2a, 0x2f, 0x5c, 0x41, 0x0e, 0x54, 0x4a, 0x65, 0x2d, 0x66, 0x27, 0x54, 0x40, 0x2a, 0x64,
    0x65, 0x43, 0x2a, 0x2f, 0x5c, 0x2d, 0x64, 0x2a, 0x5c, 0x2f, 0x2d, 0x71, 0x65, 0x41, 0x2a, 0x2f,
    0x5c, 0x41, 0x0e, 0x54, 0x4a, 0x65, 0x2d, 0x66, 0x27, 0x54, 0x40, 0x2a, 0x64, 0x2a, 0x5c, 0x2f,
    0x2f, 0x5c, 0x2d, 0x2f, 0x2f, 0x5c, 0x2d, 0x64, 0x2a, 0x5c, 0x2f, 0x2d, 0x71, 0x65, 0x43, 0x2a,
    0x2f, 0x5c, 0x2d, 0x64, 0x2a, 0x5c, 0x2f, 0x2d, 0x71, 0x65, 0x41, 0x2a, 0x2f, 0x5c, 0x41, 0x0e,
    0x54, 0x4a, 0x65, 0x2d, 0x66, 0x2d, 0x64, 0x2a, 0x5c, 0x2f, 0x2d, 0x71, 0x65, 0x41, 0x2a, 0x5c,
    0x2f, 0x2f, 0x5c, 0x2d, 0x64, 0x2a, 0x5c, 0x2f, 0x2f, 0x5c, 0x2d, 0x64, 0x2a, 0x5c, 0x2f, 0x2d,
    0x71, 0x65, 0x43, 0x2a, 0x2f, 0x5c, 0x2d, 0x64, 0x2a, 0x5c, 0x2f, 0x2d, 0x71, 0x65, 0x41, 0x2a,
    0x2f, 0x5c, 0x41, 0x0e, 0x54, 0x4a, 0x65, 0x2d, 0x66, 0x27, 0x54, 0x40, 0x2a, 0x64, 0x65, 0x43,
    0x2a, 0x2f, 0x5c, 0x2d, 0x64, 0x2a, 0x5c, 0x2f, 0x2d, 0x71, 0x65, 0x41, 0x2a, 0x2f, 0x5c, 0x41,
    0x0e, 0x54, 0x4a, 0x65, 0x2d, 0x66, 0x27, 0x54, 0x40, 0x2a, 0x64, 0x2a, 0x5c, 0x2f, 0x2f, 0x5c,
    0x2d, 0x4a, 0x65, 0x2d, 0x66, 0x27, 0x54, 0x40, 0x2a, 0x64, 0x2a, 0x5c, 0x2f, 0x2f, 0x5c, 0x2d,
    0x5c, 0x2f, 0x2f, 0x5c, 0x2d, 0x64, 0x2a, 0x5c, 0x2f, 0x2d, 0x71, 0x65, 0x43, 0x2a, 0x2f, 0x5c,
    0x2d, 0x64, 0x2a, 0x5c, 0x2f, 0x2d, 0x71, 0x65, 0x41, 0x2a, 0x2f, 0x5c, 0x41, 0x0e, 0x54, 0x4a,
    0x65, 0x2d, 0x66, 0x27, 0x54, 0x40, 0x2a, 0x64, 0x65, 0x43, 0x2a, 0x2f, 0x5c, 0x2d, 0x64, 0x2a,
    0x5c, 0x2f, 0x2d, 0x71, 0x65, 0x41, 0x2a, 0x2f, 0x5c, 0x41, 0x0e, 0x54, 0x4a, 0x65, 0x2d, 0x66,
    0x27, 0x54, 0x40, 0x2a, 0x64, 0x2a, 0x5c, 0x2f, 0x2f, 0x5c, 0x2d, 0x64, 0x2a, 0x5c, 0x2f, 0x2f,
    0x5c, 0x2d, 0x64, 0x2a, 0x5c, 0x2f, 0x2d, 0x71, 0x65, 0x43, 0x2a, 0x2f, 0x5c, 0x2d, 0x64, 0x2a,
    0x5c, 0x2f, 0x2d, 0x71, 0x65, 0x41, 0x2a, 0x2f, 0x5c, 0x41, 0x0e, 0x54, 0x4a, 0x65, 0x2d, 0x66,
    0x27, 0x54, 0x40, 0x2a, 0x64, 0x65, 0x43, 0x2a, 0x2f, 0x5c, 0x2d, 0x64, 0x2a, 0x5c, 0x2f, 0x2d,
    0x71, 0x65, 0x41, 0x2a, 0x2f, 0x5c, 0x41, 0x0e, 0x54, 0x4a, 0x65, 0x2d, 0x66, 0x27, 0x54, 0x40,
    0x2a, 0x64, 0x2a, 0x5c, 0x2f, 0x2f, 0x5c, 0x2d, 0x2f, 0x5c, 0x41, 0x0e, 0x54, 0x4a, 0x65, 0x2d,
    0x66, 0x27, 0x54, 0x40, 0x2a, 0x64, 0x2a, 0x5c, 0x2f, 0x2f, 0x5c, 0x2d, 0x64, 0x2a, 0x5c, 0x2f,
    0x2d, 0x71, 0x65, 0x41, 0x2a, 0x2f, 0x5c, 0x41, 0x0e, 0x54, 0x4a, 0x65, 0x2d, 0x66, 0x27, 0x54,
    0x40, 0x2a, 0x64, 0x2a, 0x5c, 0x2f, 0x2f, 0x5c, 0x2d, 0x64, 0x2a, 0x5c, 0x2f, 0x2d, 0x71, 0x65,
    0x43, 0x2a, 0x2f, 0x5c, 0x2d, 0x64, 0x2a, 0x5c, 0x2f, 0x2d, 0x71, 0x65, 0x41, 0x2a, 0x2f, 0x5c,
    0x41, 0x0e, 0x54, 0x4a, 0x65, 0x2d, 0x66, 0x27, 0x54, 0x40, 0x2a, 0x64, 0x65, 0x43, 0x2a, 0x2f,
    0x5c, 0x2d, 0x64, 0x2a, 0x5c, 0x2f, 0x2d, 0x71, 0x65, 0x41, 0x2a, 0x2f, 0x5c, 0x41, 0x0e, 0x54,
    0x4a, 0x65, 0x2d, 0x66, 0x27, 0x54, 0x40, 0x2a, 0x64, 0x2a, 0x5c, 0x2f, 0x2f, 0x5c, 0x2d, 0x64,
    0x2a, 0x5c, 0x2f, 0x2f, 0x5c, 0x2d, 0x64, 0x2a, 0x5c, 0x2f, 0x2d, 0x71, 0x65, 0x43, 0x2a, 0x2f,
    0x5c, 0x2d, 0x64, 0x2a, 0x5c, 0x2f, 0x2d, 0x71, 0x65, 0x41, 0x2a, 0x2f, 0x5c, 0x41, 0x0e, 0x54,
    0x4a, 0x65, 0x2d, 0x66, 0x27, 0x54, 0x40, 0x2a, 0x64, 0x65, 0x43, 0x2a, 0x2f, 0x5c, 0x2d, 0x64,
    0x2a, 0x5c, 0x2f, 0x2d, 0x71, 0x65, 0x41, 0x2a, 0x2f, 0x5c, 0x41, 0x0e, 0x54, 0x4a, 0x65, 0x2d,
    0x66, 0x27, 0x54, 0x40, 0x2a, 0x64, 0x2a, 0x5c, 0x2f, 0x2f, 0x5c, 0x2d, 0x2f, 0x2f, 0x5c, 0x2d,
    0x64, 0x2a, 0x5c, 0x2f, 0x2d, 0x71, 0x65, 0x43, 0x2a, 0x2f, 0x5c, 0x2d, 0x64, 0x2a, 0x5c, 0x2f,
    0x2d, 0x71, 0x65, 0x41, 0x2a, 0x2f, 0x5c, 0x41, 0x0e, 0x54, 0x4a, 0x65, 0x2d, 0x66, 0x27, 0x54,
    0x40, 0x2a, 0x64, 0x65, 0x43, 0x2a, 0x2f, 0x5c, 0x2d, 0x64, 0x2a, 0x5c, 0x2f, 0x2d, 0x71, 0x65,
    0x41, 0x2a, 0x2f, 0x5c, 0x41, 0x0e, 0x54, 0x4a, 0x65, 0x2d, 0x66, 0x27, 0x54, 0x40, 0x2a, 0x64,
    0x2a, 0x5c, 0x2f, 0x2f, 0x5c, 0x2d, 0x4a, 0x65, 0x2d, 0x66, 0x27, 0x54, 0x40, 0x2a, 0x64, 0x2a,
    0x5c, 0x2f, 0x2f, 0x5c, 0x2d, 0x5c, 0x2f, 0x2f, 0x5c, 0x2d, 0x64, 0x2a, 0x5c, 0x2f, 0x2d, 0x71,
    0x65, 0x43, 0x2a, 0x2f, 0x5c, 0x2d, 0x64, 0x2a, 0x5c, 0x2f, 0x2d, 0x71, 0x65, 0x41, 0x2a, 0x2f,
    0x5c, 0x41, 0x0e, 0x54, 0x4a, 0x65, 0x2d, 0x66, 0x27, 0x54, 0x40, 0x2a, 0x64, 0x65, 0x43, 0x2a,
    0x2f, 0x5c, 0x2d, 0x64, 0x2a, 0x5c, 0x2f, 0x2d, 0x71, 0x65, 0x41, 0x2a, 0x2f, 0x5c, 0x41, 0x0e,
    0x54, 0x4a, 0x65, 0x2d, 0x66, 0x27, 0x54, 0x40, 0x2a, 0x64, 0x2a, 0x5c, 0x2f, 0x2f, 0x5c, 0x2d,
    0x64, 0x2a, 0x5c, 0x2f, 0x2f, 0x5c, 0x2d, 0x64, 0x2a, 0x5c, 0x2f, 0x2d, 0x71, 0x65, 0x43, 0x2a,
    0x2f, 0x5c, 0x2d, 0x64, 0x2a, 0x5c, 0x2f, 0x2d, 0x71, 0x65, 0x41, 0x2a, 0x2f, 0x5c, 0x41, 0x0e,
    0x54, 0x4a, 0x65, 0x2d, 0x66, 0x27, 0x54, 0x40, 0x2a, 0x64, 0x65, 0x43, 0x2a, 0x2f, 0x5c, 0x2d,
    0x64, 0x2a, 0x5c, 0x2f, 0x2d, 0x71, 0x65, 0x41, 0x2a, 0x2f, 0x5c, 0x41, 0x0e, 0x54, 0x4a, 0x65,
    0x2d, 0x66, 0x27, 0x54, 0x40, 0x2a, 0x64, 0x2a, 0x5c, 0x2f, 0x2f, 0x5c, 0x2d, 0x2f, 0x5c, 0x41,
    0x0e, 0x54, 0x4a, 0x65, 0x2d, 0x66, 0x27, 0x54, 0x40, 0x2a, 0x64, 0x2a, 0x5c, 0x2f, 0x2f, 0x5c,
    0x2d, 0x64, 0x2a, 0x5c, 0x2f, 0x2d, 0x71, 0x65, 0x41, 0x2a, 0x2f, 0x5c, 0x41, 0x0e, 0x54, 0x4a,
    0x65, 0x2d, 0x66, 0x27, 0x54, 0x40, 0x2a, 0x64, 0x2a, 0x5c, 0x2f, 0x2f, 0x5c, 0x2d, 0x64, 0x2a,
    0x5c, 0x2f, 0x2d, 0x71, 0x65, 0x43, 0x2a, 0x2f, 0x5c, 0x2d, 0x64, 0x2a, 0x5c, 0x2f, 0x2d, 0x71,
    0x65, 0x41, 0x2a, 0x2f, 0x5c, 0x41, 0x0e, 0x54, 0x4a, 0x65, 0x2d, 0x66, 0x27, 0x54, 0x40, 0x2a,
    0x64, 0x65, 0x43, 0x2a, 0x2f, 0x5c, 0x2d, 0x64, 0x2a, 0x5c, 0x2f, 0x2d, 0x71, 0x65, 0x41, 0x2a,
    0x2f, 0x5c, 0x41, 0x0e, 0x54, 0x4a, 0x65, 0x2d, 0x66, 0x27, 0x54, 0x40, 0x2a, 0x64, 0x2a, 0x5c,
    0x2f, 0x2f, 0x5c, 0x2d, 0x64, 0x2a, 0x5c, 0x2f, 0x2f, 0x5c, 0x2d, 0x64, 0x2a, 0x5c, 0x2f, 0x2d,
    0x71, 0x65, 0x43, 0x2a, 0x2f, 0x5c, 0x2d, 0x64, 0x2a, 0x5c, 0x2f, 0x2d, 0x71, 0x65, 0x41, 0x2a,
    0x2f, 0x5c, 0x41, 0x0e, 0x54, 0x4a, 0x65, 0x2d, 0x66, 0x27, 0x54, 0x40, 0x2a, 0x64, 0x65, 0x43,
    0x2a, 0x2f, 0x5c, 0x2d, 0x64, 0x2a, 0x5c, 0x2f, 0x2d, 0x71, 0x65, 0x41, 0x2a, 0x2f, 0x5c, 0x41,
    0x0e, 0x54, 0x4a, 0x65, 0x2d, 0x66, 0x27, 0x54, 0x40, 0x2a, 0x64, 0x2a, 0x5c, 0x2f, 0x2f, 0x5c,
    0x2d, 0x65, 0x2d, 0x66, 0x27, 0x54, 0x40, 0x2a, 0x64, 0x2a, 0x5c, 0x2f, 0x2f, 0x5c, 0x2d, 0x2f,
    0x5c, 0x41, 0x0e, 0x54, 0x4a, 0x65, 0x2d, 0x66, 0x27, 0x54, 0x40, 0x2a, 0x64, 0x2a, 0x5c, 0x2f,
    0x2f, 0x5c, 0x2d, 0x64, 0x2a, 0x5c, 0x2f, 0x2d, 0x71, 0x65, 0x41, 0x2a, 0x2f, 0x5c, 0x41, 0x0e,
    0x54, 0x4a, 0x65, 0x2d, 0x66, 0x27, 0x54, 0x40, 0x2a, 0x64, 0x2a, 0x5c, 0x2f, 0x2f, 0x5c, 0x2d,
    0x64, 0x2a, 0x5c, 0x2f, 0x2d, 0x71, 0x65, 0x43, 0x2a, 0x2f, 0x5c, 0x2d, 0x64, 0x2a, 0x5c, 0x2f,
    0x2d, 0x71, 0x65, 0x41, 0x2a, 0x2f, 0x5c, 0x41, 0x0e, 0x54, 0x4a, 0x65, 0x2d, 0x66, 0x27, 0x54,
    0x40, 0x2a, 0x64, 0x65, 0x43, 0x2a, 0x2f, 0x5c, 0x2d, 0x64, 0x2a, 0x5c, 0x2f, 0x2d, 0x71, 0x65,
    0x41, 0x2a, 0x2f, 0x5c, 0x41, 0x0e, 0x54, 0x4a, 0x65, 0x2d, 0x66, 0x27, 0x54, 0x40, 0x2a, 0x64,
    0x2a, 0x5c, 0x2f, 0x2f, 0x5c, 0x2d, 0x64, 0x2a, 0x5c, 0x2f, 0x2f, 0x5c, 0x2d, 0x64, 0x2a, 0x5c,
    0x2f, 0x2d, 0x71, 0x65, 0x43, 0x2a, 0x2f, 0x5c, 0x2d, 0x64, 0x2a, 0x5c, 0x2f, 0x2d, 0x71, 0x65,
    0x41, 0x2a, 0x2f, 0x5c, 0x41, 0x0e, 0x54, 0x4a, 0x65, 0x2d, 0x66, 0x27, 0x54, 0x40, 0x2a, 0x64,
    0x65, 0x43, 0x2a, 0x2f, 0x5c, 0x2d, 0x64, 0x2a, 0x5c, 0x2f, 0x2d, 0x71, 0x65, 0x41, 0x2a, 0x2f,
    0x5c, 0x41, 0x0e, 0x54, 0x4a, 0x65, 0x2d, 0x66, 0x27, 0x54, 0x40, 0x2a, 0x64, 0x2a, 0x5c, 0x2f,
    0x2f, 0x5c, 0x2d, 0x2f, 0x2f, 0x5c, 0x2d, 0x64, 0x2a, 0x5c, 0x2f, 0x2d, 0x71, 0x65, 0x43, 0x2a,
    0x2f, 0x5c, 0x2d, 0x64, 0x2a, 0x5c, 0x2f, 0x2d, 0x71, 0x65, 0x41, 0x2a, 0x2f, 0x5c, 0x41, 0x0e,
    0x54, 0x4a, 0x65, 0x2d, 0x66, 0x27, 0x54, 0x40, 0x2a, 0x64, 0x65, 0x43, 0x2a, 0x2f, 0x5c, 0x2d,
    0x64, 0x2a, 0x5c, 0x2f, 0x2d, 0x71, 0x65, 0x41, 0x2a, 0x2f, 0x5c, 0x41, 0x0e, 0x54, 0x4a, 0x65,
    0x2d, 0x66, 0x27, 0x54, 0x40, 0x2a, 0x64, 0x2a, 0x5c, 0x2f, 0x2f, 0x5c, 0x2d, 0x4a, 0x65, 0x2d,
    0x66, 0x27, 0x54, 0x40, 0x2a, 0x64, 0x2a, 0x5c, 0x2f, 0x2f, 0x5c, 0x2d, 0x5c, 0x2f, 0x2f, 0x5c,
    0x2d, 0x64, 0x2a, 0x5c, 0x2f, 0x2d, 0x71, 0x65, 0x43, 0x2a, 0x2f, 0x5c, 0x2d, 0x64, 0x2a, 0x5c,
    0x2f, 0x2d, 0x71, 0x65, 0x41, 0x2a, 0x2f, 0x5c, 0x41, 0x0e, 0x54, 0x4a, 0x65, 0x2d, 0x66, 0x27,
    0x54, 0x40, 0x2a, 0x64, 0x65, 0x43, 0x2a, 0x2f, 0x5c, 0x2d, 0x64, 0x2a, 0x5c, 0x2f, 0x2d, 0x71,
    0x65, 0x41, 0x2a, 0x2f, 0x5c, 0x41, 0x0e, 0x54, 0x4a, 0x65, 0x2d, 0x66, 0x27, 0x54, 0x40, 0x2a,
    0x64, 0x2a, 0x5c, 0x2f, 0x2f, 0x5c, 0x2d, 0x64, 0x2a, 0x5c, 0x2f, 0x2f, 0x5c, 0x2d, 0x64, 0x2a,
    0x5c, 0x2f, 0x2d, 0x71, 0x65, 0x43, 0x2a, 0x2f, 0x5c, 0x2d, 0x64, 0x2a, 0x5c, 0x2f, 0x2d, 0x71,
    0x65, 0x41, 0x2a, 0x2f, 0x5c, 0x41, 0x0e, 0x54, 0x4a, 0x65, 0x2d, 0x66, 0x27, 0x54, 0x40, 0x2a,
    0x64, 0x65, 0x43, 0x2a, 0x2f, 0x5c, 0x2d, 0x64, 0x2a, 0x5c, 0x2f, 0x2d, 0x71, 0x65, 0x41, 0x2a,
    0x2f, 0x5c, 0x41, 0x0e, 0x54, 0x4a, 0x65, 0x2d, 0x66, 0x27, 0x54, 0x40, 0x2a, 0x64, 0x2a, 0x5c,
    0x2f, 0x2f, 0x5c, 0x2d, 0x2f, 0x5c, 0x41, 0x0e, 0x54, 0x4a, 0x65, 0x2d, 0x66, 0x27, 0x54, 0x40,
    0x2a, 0x64, 0x2a, 0x5c, 0x2f, 0x2f, 0x5c, 0x2d, 0x64, 0x2a, 0x5c, 0x2f, 0x2d, 0x71, 0x65, 0x41,
    0x2a, 0x2f, 0x5c, 0x41, 0x0e, 0x54, 0x4a, 0x65, 0x2d, 0x66, 0x27, 0x54, 0x40, 0x2a, 0x64, 0x2a,
    0x5c, 0x2f, 0x2f, 0x5c, 0x2d, 0x64, 0x2a, 0x5c, 0x2f, 0x2d, 0x71, 0x65, 0x43, 0x2a, 0x2f, 0x5c,
    0x2d, 0x64, 0x2a, 0x5c, 0x2f, 0x2d, 0x71, 0x65, 0x41, 0x2a, 0x2f, 0x5c, 0x41, 0x0e, 0x54, 0x4a,
    0x65, 0x2d, 0x66, 0x27, 0x54, 0x40, 0x2a, 0x64, 0x65, 0x43, 0x2a, 0x2f, 0x5c, 0x2d, 0x64, 0x2a,
    0x5c, 0x2f, 0x2d, 0x71, 0x65, 0x41, 0x2a, 0x2f, 0x5c, 0x41, 0x0e, 0x54, 0x4a, 0x65, 0x2d, 0x66,
    0x27, 0x54, 0x40, 0x2a, 0x64, 0x2a, 0x5c, 0x2f, 0x2f, 0x5c, 0x2d, 0x64, 0x2a, 0x5c, 0x2f, 0x2f,
    0x5c, 0x2d, 0x64, 0x2a, 0x5c, 0x2f, 0x2d, 0x71, 0x65, 0x43, 0x2a, 0x2f, 0x5c, 0x2d, 0x64, 0x2a,
    0x5c, 0x2f, 0x2d, 0x71, 0x65, 0x41, 0x2a, 0x2f, 0x5c, 0x41, 0x0e, 0x54, 0x4a, 0x65, 0x2d, 0x66,
    0x27, 0x54, 0x40, 0x2a, 0x64, 0x65, 0x43, 0x2a, 0x2f, 0x5c, 0x2d, 0x64, 0x2a, 0x5c, 0x2f, 0x2d,
    0x71, 0x65, 0x41, 0x2a, 0x2f, 0x5c, 0x41, 0x0e, 0x54, 0x4a, 0x65, 0x2d, 0x66, 0x27, 0x54, 0x40,
    0x2a, 0x64, 0x2a, 0x5c, 0x2f, 0x2f, 0x5c, 0x2d,
];

I can reproduce this by:

1. Cloning this repo (current HEAD: d711f24)
2. Modifying the test/consumers/rust/src/main.rs file:

diff --git old - test/consumers/rust/src/main.rs new - test/consumers/rust/src/main.rs
index 04129f9..5765157 100644
--- old - test/consumers/rust/src/main.rs	
+++ new - test/consumers/rust/src/main.rs	
@@ -1,26 +1,13 @@
-use tree_sitter::{Parser, Query, QueryCursor};
 use streaming_iterator::StreamingIterator;
+use tree_sitter::{Parser, Query, QueryCursor};
 
 fn main() {
     let mut parser = Parser::new();
     parser
         .set_language(&tree_sitter_tlaplus::LANGUAGE.into())
         .expect("Error loading TLA+ grammar");
-    let source_code = r#"
-        ---- MODULE Test ----
-        op ≜ ∀ n ∈ ℕ : n ≥ 0
-        ===="#;
-    let tree = parser.parse(source_code, None).unwrap();
-    println!("{}", tree.root_node().to_sexp());
 
-    let query = Query::new(
-        &tree_sitter_tlaplus::LANGUAGE.into(),
-        "(def_eq \"≜\") @capture",
-    )
-    .unwrap();
-    let mut cursor = QueryCursor::new();
-    let mut captures = cursor.matches(&query, tree.root_node(), "".as_bytes());
-    while let Some(capture) = captures.next() {
-        println!("{:?}", capture);
-    }
+    let s = r#"~-e*d*\//\-\-d*\/-qeA*/\A�TJe-f'T@*d*\//\-d*\/-qeA*/\A�TJe-f'T@*d*\//\-d*\/-qeC*/\-d*\/-qeA*/\A�TJe-f'T@*deC*/\-d*\/-qeA*/\A�TJe-f'T@*d*\//\-d\/C*/\-d*\/-qeA*/\A�TJe-f'T@*d*\//\-d*\//\-d*\/-qeC*/\-d*\/-qeA*/\A�TJe-f'T@*deC*/\-d*\/-qeA*/\A�TJe-f'T@*d*\//\-//\-d*\/-qeC*/\-d*\/-qeA*/\A�TJe-f-d*\/-qeA*\//\-d*\//\-d*\/-\A�TJe-f'T@*d*\//\-Je-f'T@*d*\//\-\//\-d*\/-qeC*/\-d*\/-qeA*/\A�TJe-f'T@*deC*/\-d*\/-qeA*/\A�TJe-f'T@*d*\//\-d*\//\-d*\/-qeC*/\-d*\/-qeA*/\A�TJe-f'T@*deC*/\-d*\/-qeA*/\A�TJe-f'T@*d*\//\-/\A�TJe-f'T@*d*\//\-d*\/-qeA*/\A�TJe-f'T@*d*\//\-d*\/-qeC*/\-d*\/-qeA*/\A�TJe-f'T@*deC*/\-d*\/-qeA*/\A�TJe-f'T@*d*\//\-d*\//\-d*\/-qeC*/\-d*\/-qeA*/\A�TJe-f'T@*deC*/\-d*\/-qeA*/\A�TJe-f'T@*d*\//\-@*d*\//\-d*\/-qeA*/\A�TJe-f'T@*d*\//\-d*\/-qeC*/\-d*\/-qeA*/\A�TJe-f'T@*deC*/\-d*\/-qeA*/\A�TJe-f'T@*d*\//\-d*\//\-d*\/-qeC*/\-d*\/-qeA*/\A�TJe-f'T@*deC*/\-d*\/-qeA*/\A�TJe-f'T@*d*\//\-//\-d*\/-qeC*/\-d*\/-qeA*/\A�TJe-f-d*\/-qeA*\//\-d*\//\-d*\/-qeC*/\-d*\/-qeA*/\A�TJe-f'T@*deC*/\-d*\/-qeA*/\A�TJe-f'T@*d*\//\-Je-f'T@*d*\//\-\//\-d*\/-qeC*/\-d*\/-qeA*/\A�TJe-f'T@*deC*/\-d*\/-qeA*/\A�TJe-f'T@*d*\//\-d*\//\-d*\/-qeC*/\-d*\/-qeA*/\A�TJe-f'T@*deC*/\-d*\/-qeA*/\A�TJe-f'T@*d*\//\-/\A�TJe-f'T@*d*\//\-d*\/-qeA*/\A�TJe-f'T@*d*\//\-d*\/-qeC*/\-d*\/-qeA*/\A�TJe-f'T@*deC*/\-d*\/-qeA*/\A�TJe-f'T@*d*\//\-d*\//\-d*\/-qeC*/\-d*\/-qeA*/\A�TJe-f'T@*deC*/\-d*\/-qeA*/\A�TJe-f'T@*d*\//\-//\-d*\/-qeC*/\-d*\/-qeA*/\A�TJe-f'T@*deC*/\-d*\/-qeA*/\A�TJe-f'T@*d*\//\-Je-f'T@*d*\//\-\//\-d*\/-qeC*/\-d*\/-qeA*/\A�TJe-f'T@*deC*/\-d*\/-qeA*/\A�TJe-f'T@*d*\//\-d*\//\-d*\/-qeC*/\-d*\/-qeA*/\A�TJe-f'T@*deC*/\-d*\/-qeA*/\A�TJe-f'T@*d*\//\-/\A�TJe-f'T@*d*\//\-d*\/-qeA*/\A�TJe-f'T@*d*\//\-d*\/-qeC*/\-d*\/-qeA*/\A�TJe-f'T@*deC*/\-d*\/-qeA*/\A�TJe-f'T@*d*\//\-d*\//\-d*\/-qeC*/\-d*\/-qeA*/\A�TJe-f'T@*deC*/\-d*\/-qeA*/\A�TJe-f'T@*d*\//\-e-f'T@*d*\//\-/\A�TJe-f'T@*d*\//\-d*\/-qeA*/\A�TJe-f'T@*d*\//\-d*\/-qeC*/\-d*\/-qeA*/\A�TJe-f'T@*deC*/\-d*\/-qeA*/\A�TJe-f'T@*d*\//\-d*\//\-d*\/-qeC*/\-d*\/-qeA*/\A�TJe-f'T@*deC*/\-d*\/-qeA*/\A�TJe-f'T@*d*\//\-//\-d*\/-qeC*/\-d*\/-qeA*/\A�TJe-f'T@*deC*/\-d*\/-qeA*/\A�TJe-f'T@*d*\//\-Je-f'T@*d*\//\-\//\-d*\/-qeC*/\-d*\/-qeA*/\A�TJe-f'T@*deC*/\-d*\/-qeA*/\A�TJe-f'T@*d*\//\-d*\//\-d*\/-qeC*/\-d*\/-qeA*/\A�TJe-f'T@*deC*/\-d*\/-qeA*/\A�TJe-f'T@*d*\//\-/\A�TJe-f'T@*d*\//\-d*\/-qeA*/\A�TJe-f'T@*d*\//\-d*\/-qeC*/\-d*\/-qeA*/\A�TJe-f'T@*deC*/\-d*\/-qeA*/\A�TJe-f'T@*d*\//\-d*\//\-d*\/-qeC*/\-d*\/-qeA*/\A�TJe-f'T@*deC*/\-d*\/-qeA*/\A�TJe-f'T@*d*\//\-"#;
+
+    let _tree = parser.parse(s, None).unwrap();
 }

3. Run cargo run and you'll get an assertion failure.

The sample consumer uses tree-sitter 0.24.3, but I have confirmed the same crash using the latest 0.25.2 too. I did notice a similar issue in the tree-sitter repo that was closed as "this is the downstream scanner", which is why I'm opening the ticket here.

I tried to reproduce this in the python consumer too, but I ran into dependency conflicts so never got it working, but I did manage to get the tla-web trace explorer to error with an assertion failure in the console too so it seems likely to be the shared core rather than the rust specific binding.

[domodwyer]

There are also failures attributed to line 410 too:

Assertion failed: (length <= 1024), function ts_parser__external_scanner_serialize, file parser.c, line 410.

Crash reproducer

unsigned char fuzz_artifacts_e2e_minimized_from_806e667aa47e62315da9008734730b6a09fe8c0f[] = {
  0x7e, 0x2d, 0x65, 0x2a, 0x5c, 0x2f, 0x2d, 0x71, 0x65, 0x43, 0x2a, 0x2f,
  0x5c, 0x2d, 0x64, 0x2a, 0x5c, 0x2f, 0x2d, 0x71, 0x65, 0x41, 0x2a, 0x2f,
  0x27, 0x74, 0x40, 0x2a, 0x66, 0x27, 0x74, 0x40, 0x2a, 0x64, 0x2a, 0x5c,
  0x2f, 0x01, 0x00, 0x00, 0x00, 0x2a, 0x2f, 0x5c, 0x41, 0x71, 0x2f, 0x2a,
  0x2a, 0x43, 0x2a, 0x2f, 0x5c, 0x2d, 0x64, 0x2a, 0x5c, 0x2f, 0x2d, 0x2a,
  0x64, 0x2a, 0x5c, 0x2f, 0x2d, 0x71, 0x65, 0x43, 0x2a, 0x2f, 0x5c, 0x2d,
  0x64, 0x2a, 0x64, 0x2a, 0x5c, 0x2f, 0x2d, 0x71, 0x65, 0x43, 0x2a, 0x2f,
  0x5c, 0x2d, 0x64, 0x2a, 0x5c, 0x2f, 0x2d, 0x71, 0x65, 0x41, 0x54, 0x40,
  0x2a, 0x64, 0x2a, 0x5c, 0x2f, 0x2d, 0x71, 0x65, 0x2a, 0x64, 0x2a, 0x5c,
  0x2f, 0x2d, 0x71, 0x65, 0x43, 0x2a, 0x2f, 0x5c, 0x2d, 0x64, 0x2a, 0x5c,
  0x2f, 0x2d, 0x71, 0x65, 0x41, 0x2a, 0x2f, 0x5c, 0x41, 0x0e, 0x54, 0x4a,
  0x65, 0x2d, 0x66, 0x27, 0x54, 0x40, 0x2a, 0x64, 0x65, 0x43, 0x2a, 0x2f,
  0x5c, 0x2d, 0x64, 0x2a, 0x5c, 0x2f, 0x2d, 0x71, 0x65, 0x41, 0x2a, 0x2f,
  0x5c, 0x41, 0x0e, 0x54, 0x4a, 0x65, 0x2d, 0x66, 0x27, 0x54, 0x40, 0x2a,
  0x64, 0x2a, 0x5c, 0x2f, 0x2f, 0x5c, 0x2d, 0x65, 0x41, 0x54, 0x40, 0x2a,
  0x65, 0x2d, 0x64, 0x5c, 0x71, 0x2f, 0x2a, 0x2a, 0x64, 0x2a, 0x5c, 0x2f,
  0x2d, 0x71, 0x65, 0x43, 0x2a, 0x2f, 0x5c, 0x2d, 0x64, 0x2a, 0x5c, 0x2f,
  0x2d, 0x71, 0x65, 0x41, 0x2a, 0x2f, 0x2f, 0x5c, 0x41, 0x0e, 0x4a, 0x65,
  0x2d, 0x64, 0x2a, 0x5c, 0x2f, 0x2d, 0x40, 0x2a, 0x64, 0x2a, 0x5c, 0x2f,
  0x2d, 0x71, 0x65, 0x43, 0x2a, 0x2f, 0x5c, 0x2d, 0x64, 0x2a, 0x64, 0x2a,
  0x5c, 0x2f, 0x2d, 0x71, 0x65, 0x43, 0x2a, 0x2f, 0x5c, 0x2d, 0x64, 0x2a,
  0x5c, 0x2f, 0x2d, 0x71, 0x65, 0x41, 0x54, 0x40, 0x2a, 0x64, 0x2a, 0x5c,
  0x2f, 0x2d, 0x71, 0x65, 0x2a, 0x64, 0x2a, 0x5c, 0x2f, 0x2d, 0x71, 0x65,
  0x43, 0x2a, 0x2f, 0x5c, 0x2d, 0x64, 0x2a, 0x5c, 0x2f, 0x2d, 0x54, 0x48,
  0x45, 0x4e, 0x2f, 0x5c, 0x41, 0x0e, 0x54, 0x4a, 0x65, 0x2d, 0x66, 0x27,
  0x54, 0x40, 0x2a, 0x64, 0x65, 0x43, 0x2a, 0x2f, 0x5c, 0x2d, 0x64, 0x2a,
  0x5c, 0x2f, 0x2d, 0x71, 0x65, 0x41, 0x2a, 0x2f, 0x5c, 0x41, 0x0e, 0x54,
  0x4a, 0x65, 0x2d, 0x66, 0x27, 0x54, 0x40, 0x2a, 0x64, 0x2a, 0x5c, 0x2f,
  0x2f, 0x2f, 0x5c, 0x2d, 0x64, 0x2a, 0x5c, 0x2f, 0x2d, 0x71, 0x65, 0x41,
  0x2a, 0x2f, 0x5c, 0x41, 0x0e, 0x54, 0x4a, 0x65, 0x2d, 0x66, 0x27, 0x54,
  0x40, 0x2a, 0x64, 0x2a, 0x5c, 0x2f, 0x2f, 0x5c, 0x2d, 0x2f, 0x2d, 0x71,
  0x65, 0x43, 0x2a, 0x2f, 0x5c, 0x65, 0x71, 0x65, 0x41, 0x54, 0x40, 0x2a,
  0x65, 0x2d, 0x64, 0x5c, 0x71, 0x2f, 0x2a, 0x2a, 0x64, 0x2a, 0x5c, 0x2f,
  0x2d, 0x71, 0x65, 0x43, 0x2a, 0x2f, 0x5c, 0x2d, 0x64, 0x2a, 0x5c, 0x2f,
  0x2d, 0x71, 0x65, 0x41, 0x2a, 0x49, 0x46, 0x5c, 0x41, 0x0e, 0x4a, 0x65,
  0x2d, 0x64, 0x2a, 0x5c, 0x2f, 0x2d, 0x40, 0x2a, 0x64, 0x2a, 0x5c, 0x2f,
  0x2d, 0x71, 0x65, 0x43, 0x2a, 0x2f, 0x5c, 0x2d, 0x64, 0x2a, 0x64, 0x2a,
  0x5c, 0x2f, 0x2d, 0x71, 0x65, 0x43, 0x2a, 0x2f, 0x5c, 0x2d, 0x64, 0x2a,
  0x5c, 0x2f, 0x2d, 0x64, 0x2a, 0x5c, 0x2f, 0x2d, 0x71, 0x65, 0x2a, 0x64,
  0x2a, 0x5c, 0x2f, 0x2d, 0x71, 0x65, 0x43, 0x2a, 0x2f, 0x5c, 0x2d, 0x64,
  0x2a, 0x5c, 0x2f, 0x2d, 0x66, 0x27, 0x54, 0x40, 0x2a, 0x64, 0x65, 0x43,
  0x2a, 0x2f, 0x5c, 0x2d, 0x64, 0x2a, 0x5c, 0x2f, 0x2d, 0x71, 0x65, 0x41,
  0x2a, 0x2f, 0x5c, 0x41, 0x0e, 0x54, 0x4a, 0x65, 0x2d, 0x66, 0x27, 0x54,
  0x40, 0x2a, 0x64, 0x2a, 0x5c, 0x2f, 0x2f, 0x5c, 0x2d, 0x43, 0x2a, 0x2f,
  0x5c, 0x2d, 0x64, 0x2a, 0x5c, 0x2f, 0x2d, 0x71, 0x65, 0x41, 0x54, 0x40,
  0x2a, 0x64, 0x2a, 0x5c, 0x2f, 0x2d, 0x71, 0x65, 0x2a, 0x64, 0x2a, 0x5c,
  0x2f, 0x2d, 0x71, 0x65, 0x43, 0x2a, 0x2f, 0x5c, 0x2d, 0x64, 0x2a, 0x5c,
  0x2f, 0x2d, 0x66, 0x27, 0x54, 0x40, 0x2a, 0x64, 0x65, 0x43, 0x2a, 0x2f,
  0x5c, 0x2d, 0x64, 0x2a, 0x5c, 0x2f, 0x2d, 0x71, 0x65, 0x41, 0x2a, 0x2f,
  0x5c, 0x41, 0x0e, 0x54, 0x4a, 0x65, 0x2d, 0x66, 0x27, 0x54, 0x40, 0x2a,
  0x64, 0x2a, 0x5c, 0x2f, 0x2f, 0x5c, 0x2d, 0x54, 0x40, 0x2a, 0x64, 0x2a,
  0x5c, 0x2f, 0x2f, 0x5c, 0x2d, 0x43, 0x2a, 0x2f, 0x5c, 0x2d, 0x64, 0x2a,
  0x5c, 0x2f, 0x2d, 0x71, 0x65, 0x27, 0x54, 0x40, 0x2a, 0x64, 0x65, 0x43,
  0x2a, 0x2f, 0x5c, 0x2d, 0x64, 0x2a, 0x5c, 0x2f, 0x2d, 0x71, 0x65, 0x41,
  0x2a, 0x2f, 0x5c, 0x41, 0x0e, 0x54, 0x4a, 0x65, 0x2d, 0x66, 0x27, 0x54,
  0x40, 0x2a, 0x64, 0x2a, 0x5c, 0x2f, 0x2f, 0x5c, 0x2d, 0x2d, 0x64, 0x2a,
  0x5c, 0x2f, 0x2d, 0x71, 0x65, 0x41, 0x2a, 0x2f, 0x5c, 0x41, 0x0e, 0x54,
  0x4a, 0x65, 0x2d, 0x66, 0x27, 0x54, 0x40, 0x2a, 0x64, 0x2a, 0x5c, 0x2f,
  0x2f, 0x5c, 0x2d, 0x64, 0x2a, 0x5c, 0x2f, 0x2d, 0x40, 0x2a, 0x64, 0x2a,
  0x5c, 0x2f, 0x2d, 0x71, 0x65, 0x43, 0x2a, 0x2f, 0x5c, 0x2d, 0x64, 0x2a,
  0x64, 0x2a, 0x5c, 0x2f, 0x2d, 0x71, 0x65, 0x43, 0x2a, 0x2f, 0x5c, 0x2d,
  0x64, 0x2a, 0x5c, 0x2f, 0x2d, 0x71, 0x64, 0x2a, 0x5c, 0x2f, 0x2d, 0x71,
  0x65, 0x2a, 0x64, 0x2a, 0x5c, 0x2f, 0x2d, 0x71, 0x65, 0x43, 0x2a, 0x2f,
  0x5c, 0x2d, 0x64, 0x2a, 0x5c, 0x2f, 0x2d, 0x66, 0x27, 0x54, 0x40, 0x2a,
  0x64, 0x65, 0x43, 0x2a, 0x2f, 0x5c, 0x2d, 0x64, 0x2a, 0x5c, 0x2f, 0x2d,
  0x71, 0x65, 0x41, 0x2a, 0x2f, 0x5c, 0x41, 0x0e, 0x54, 0x4a, 0x65, 0x2d,
  0x66, 0x27, 0x54, 0x40, 0x2a, 0x64, 0x2a, 0x5c, 0x2f, 0x2f, 0x5c, 0x2d,
  0x43, 0x2a, 0x2f, 0x5c, 0x2d, 0x64, 0x2a, 0x5c, 0x2f, 0x2d, 0x2f, 0x2d,
  0x71, 0x65, 0x43, 0x2a, 0x2f, 0x5c, 0x2d, 0x64, 0x2a, 0x5c, 0x2f, 0x2d,
  0x66, 0x27, 0x54, 0x40, 0x2a, 0x64, 0x65, 0x43, 0x2a, 0x6e, 0x65, 0x67,
  0x61, 0x74, 0x69, 0x76, 0x65, 0x71, 0x65, 0x41, 0x2a, 0x2f, 0x5c, 0x41,
  0x0e, 0x54, 0x4a, 0x65, 0x2d, 0x66, 0x27, 0x54, 0x40, 0x2a, 0x64, 0x2a,
  0x5c, 0x2f, 0x2f, 0x5c, 0x2d, 0x43, 0x2a, 0x2f, 0x5c, 0x2d, 0x64, 0x2a,
  0x5c, 0x2f, 0x2d, 0x71, 0x65, 0x41, 0x54, 0x40, 0x2a, 0x64, 0x2a, 0x5c,
  0x2f, 0x2d, 0x71, 0x65, 0x2a, 0x64, 0x2a, 0x5c, 0x2f, 0x2d, 0x71, 0x65,
  0x43, 0x2a, 0x2f, 0x5c, 0x2d, 0x64, 0x2a, 0x5c, 0x2f, 0x2d, 0x66, 0x27,
  0x54, 0x40, 0x2a, 0x64, 0x65, 0x43, 0x2a, 0x2f, 0x5c, 0x2d, 0x64, 0x2a,
  0x5c, 0x2f, 0x2d, 0x71, 0x65, 0x41, 0x2a, 0x2f, 0x5c, 0x41, 0x0e, 0x54,
  0x4a, 0x65, 0x2d, 0x66, 0x27, 0x54, 0x40, 0x2a, 0x64, 0x2a, 0x5c, 0x2f,
  0x2f, 0x5c, 0x2d, 0x54, 0x40, 0x2a, 0x64, 0x2a, 0x5c, 0x2f, 0x2f, 0x5c,
  0x2d, 0x43, 0x2a, 0x2f, 0x5c, 0x2d, 0x64, 0x2a, 0x5c, 0x2f, 0x2d, 0x71,
  0x65, 0x41, 0x54, 0x40, 0x2a, 0x64, 0x2a, 0x5c, 0x2f, 0x2d, 0x71, 0x65,
  0x2a, 0x64, 0x2a, 0x5c, 0x2f, 0x2d, 0x71, 0x65, 0x43, 0x2a, 0x2f, 0x5c,
  0x2d, 0x64, 0x2a, 0x5c, 0x2f, 0x2d, 0x66, 0x27, 0x54, 0x40, 0x2a, 0x64,
  0x65, 0x43, 0x2a, 0x2f, 0x5c, 0x2d, 0x64, 0x2a, 0x5c, 0x2f, 0x2d, 0x71,
  0x65, 0x41, 0x2a, 0x2f, 0x5c, 0x41, 0x0e, 0x54, 0x4a, 0x65, 0x2d, 0x66,
  0x27, 0x54, 0x40, 0x2a, 0x64, 0x2a, 0x5c, 0x2f, 0x2f, 0x5c, 0x2d, 0x5c,
  0x2d, 0x64, 0x2a, 0x5c, 0x2f, 0x2d, 0x71, 0x65, 0x41, 0x2a, 0x2f, 0x5c,
  0x41, 0x0e, 0x54, 0x4a, 0x65, 0x2d, 0x66, 0x27, 0x54, 0x40, 0x2a, 0x64,
  0x2a, 0x5c, 0x2f, 0x2f, 0x5c, 0x2d, 0x43, 0x2a, 0x2f, 0x5c, 0x2d, 0x64,
  0x2a, 0x5c, 0x2f, 0x2d, 0x71, 0x65, 0x41, 0x54, 0x40, 0x2a, 0x64, 0x2a,
  0x5c, 0x2f, 0x2d, 0x71, 0x65, 0x2a, 0x64, 0x2a, 0x5c, 0x2f, 0x2d, 0x71,
  0x65, 0x43, 0x2a, 0x2f, 0x5c, 0x2d, 0x64, 0x2a, 0x5c, 0x2f, 0x2d, 0x66,
  0x27, 0x54, 0x40, 0x2a, 0x64, 0x65, 0x43, 0x2a, 0x2f, 0x5c, 0x2d, 0x64,
  0x2a, 0x5c, 0x2f, 0x2d, 0x71, 0x65, 0x41, 0x2a, 0x2f, 0x5c, 0x41, 0x0e,
  0x54, 0x4a, 0x65, 0x2d, 0x66, 0x27, 0x54, 0x40, 0x2a, 0x64, 0x2a, 0x5c,
  0x2f, 0x2f, 0x5c, 0x2d, 0x54, 0x40, 0x2a, 0x64, 0x2a, 0x5c, 0x2f, 0x2f,
  0x5c, 0x2d, 0x43, 0x2a, 0x2f, 0x5c, 0x2d, 0x64, 0x2a, 0x5c, 0x2f, 0x2d,
  0x71, 0x65, 0x41, 0x54, 0x40, 0x2a, 0x64, 0x2a, 0x5c, 0x2f, 0x2d, 0x71,
  0x65, 0x2a, 0x64, 0x2a, 0x5c, 0x2f, 0x2d, 0x71, 0x65, 0x43, 0x2a, 0x2f,
  0x5c, 0x2d, 0x64, 0x2a, 0x5c, 0x2f, 0x2d, 0x66, 0x27, 0x54, 0x40, 0x2a,
  0x64, 0x65, 0x43, 0x2a, 0x2f, 0x5c, 0x2d, 0x64, 0x2a, 0x5c, 0x2f, 0x2d,
  0x71, 0x65, 0x41, 0x2a, 0x2f, 0x5c, 0x41, 0x0e, 0x54, 0x4a, 0x65, 0x2d,
  0x66, 0x27, 0x54, 0x40, 0x2a, 0x64, 0x2a, 0x5c, 0x2f, 0x2f, 0x5c, 0x2d,
  0x64, 0x2a, 0x5c, 0x2f, 0x2d, 0x40, 0x2a, 0x64, 0x2a, 0x5c, 0x2f, 0x2d,
  0x71, 0x65, 0x43, 0x2a, 0x2f, 0x5c, 0x2d, 0x64, 0x2a, 0x64, 0x2a, 0x5c,
  0x2f, 0x2d, 0x71, 0x65, 0x43, 0x2a, 0x2f, 0x5c, 0x2d, 0x64, 0x2a, 0x5c,
  0x2f, 0x2d, 0x71, 0x64, 0x2a, 0x5c, 0x2f, 0x2d, 0x71, 0x65, 0x2a, 0x64,
  0x2a, 0x5c, 0x2f, 0x2d, 0x71, 0x65, 0x43, 0x2a, 0x2f, 0x5c, 0x2d, 0x64,
  0x2a, 0x5c, 0x2f, 0x2d, 0x66, 0x27, 0x54, 0x40, 0x2a, 0x64, 0x65, 0x43,
  0x2a, 0x2f, 0x5c, 0x2d, 0x64, 0x2a, 0x5c, 0x2f, 0x2d, 0x71, 0x65, 0x41,
  0x2a, 0x2f, 0x5c, 0x41, 0x0e, 0x54, 0x4a, 0x65, 0x2d, 0x66, 0x27, 0x54,
  0x40, 0x2a, 0x64, 0x2a, 0x5c, 0x2f, 0x2f, 0x5c, 0x2d, 0x43, 0x2a, 0x2f,
  0x5c, 0x2d, 0x64, 0x2a, 0x5c, 0x2f, 0x2d, 0x71, 0x65, 0x41, 0x54, 0x40,
  0x2a, 0x64, 0x2a, 0x5c, 0x2f, 0x2d, 0x71, 0x65, 0x2a, 0x64, 0x2a, 0x5c,
  0x2f, 0x2d, 0x71, 0x65, 0x43, 0x2a, 0x2f, 0x5c, 0x2d, 0x64, 0x2a, 0x5c,
  0x2f, 0x2d, 0x66, 0x27, 0x54, 0x40, 0x2a, 0x64, 0x65, 0x43, 0x2a, 0x2f,
  0x5c, 0x2d, 0x64, 0x2a, 0x5c, 0x2f, 0x2d, 0x71, 0x65, 0x41, 0x2a, 0x2f,
  0x5c, 0x41, 0x0e, 0x54, 0x4a, 0x65, 0x2d, 0x66, 0x27, 0x54, 0x40, 0x2a,
  0x64, 0x2a, 0x5c, 0x2f, 0x2f, 0x5c, 0x2d, 0x54, 0x40, 0x2a, 0x64, 0x2a,
  0x5c, 0x2f, 0x2f, 0x5c, 0x2d, 0x43, 0x2a, 0x2f, 0x5c, 0x2d, 0x64, 0x2a,
  0x5c, 0x2f, 0x2d, 0x71, 0x65, 0x41, 0x54, 0x40, 0x2a, 0x64, 0x2a, 0x5c,
  0x2f, 0x2d, 0x71, 0x65, 0x2a, 0x64, 0x2a, 0x5c, 0x2f, 0x2d, 0x71, 0x65,
  0x43, 0x2a, 0x2f, 0x5c, 0x2d, 0x64, 0x2a, 0x5c, 0x2f, 0x2d, 0x66, 0x27,
  0x54, 0x40, 0x2a, 0x64, 0x65, 0x43, 0x2a, 0x2f, 0x5c, 0x2d, 0x64, 0x2a,
  0x5c, 0x2f, 0x2d, 0x71, 0x65, 0x41, 0x2a, 0x2f, 0x5c, 0x41, 0x0e, 0x54,
  0x4a, 0x65, 0x2d, 0x66, 0x27, 0x54, 0x40, 0x2a, 0x64, 0x2a, 0x5c, 0x2f,
  0x2f, 0x5c, 0x2d, 0x64, 0x2a, 0x5c, 0x2f, 0x2f, 0x5c, 0x2d, 0x64, 0x2a,
  0x5c, 0x2f, 0x2d, 0x40, 0x2a, 0x64, 0x2a, 0x5c, 0x2f, 0x2d, 0x71, 0x65,
  0x43, 0x2a, 0x2f, 0x5c, 0x2d, 0x64, 0x2a, 0x64, 0x2a, 0x5c, 0x2f, 0x2d,
  0x71, 0x65, 0x43, 0x2a, 0x2f, 0x5c, 0x2d, 0x64, 0x2a, 0x5c, 0x2f, 0x2d,
  0x71, 0x64, 0x2a, 0x5c, 0x2f, 0x2d, 0x71, 0x65, 0x2a, 0x64, 0x2a, 0x5c,
  0x2f, 0x2d, 0x71, 0x65, 0x43, 0x2a, 0x2f, 0x5c, 0x2d, 0x64, 0x2a, 0x5c,
  0x2f, 0x2d, 0x66, 0x27, 0x54, 0x40, 0x2a, 0x64, 0x65, 0x43, 0x2a, 0x2f,
  0x5c, 0x2d, 0x64, 0x2a, 0x5c, 0x2f, 0x2d, 0x71, 0x65, 0x41, 0x2a, 0x2f,
  0x5c, 0x41, 0x0e, 0x54, 0x4a, 0x65, 0x2d, 0x66, 0x27, 0x54, 0x40, 0x2a,
  0x64, 0x2a, 0x5c, 0x2f, 0x2f, 0x5c, 0x2d, 0x43, 0x2a, 0x2f, 0x5c, 0x2d,
  0x64, 0x2a, 0x5c, 0x2f, 0x2d, 0x71, 0x65, 0x41, 0x54, 0x40, 0x2a, 0x64,
  0x2a, 0x5c, 0x2f, 0x2d, 0x71, 0x65, 0x2a, 0x64, 0x2a, 0x5c, 0x2f, 0x2d,
  0x71, 0x65, 0x43, 0x2a, 0x2f, 0x5c, 0x2d, 0x64, 0x2a, 0x5c, 0x2f, 0x2d,
  0x66, 0x27, 0x54, 0x40, 0x2a, 0x64, 0x65, 0x43, 0x2a, 0x2f, 0x5c, 0x2d,
  0x64, 0x2a, 0x5c, 0x2f, 0x2d, 0x71, 0x65, 0x41, 0x2a, 0x2f, 0x5c, 0x41,
  0x0e, 0x54, 0x4a, 0x65, 0x2d, 0x66, 0x27, 0x54, 0x40, 0x2a, 0x64, 0x2a,
  0x5c, 0x2f, 0x2f, 0x5c, 0x2d, 0x54, 0x40, 0x2a, 0x64, 0x2a, 0x5c, 0x2f,
  0x2f, 0x5c, 0x2d, 0x43, 0x2a, 0x2f, 0x5c, 0x2d, 0x64, 0x2a, 0x5c, 0x2f,
  0x2d, 0x71, 0x65, 0x41, 0x54, 0x40, 0x2a, 0x64, 0x2a, 0x5c, 0x2f, 0x2d,
  0x71, 0x65, 0x2a, 0x64, 0x2a, 0x5c, 0x2f, 0x2d, 0x71, 0x65, 0x43, 0x2a,
  0x2f, 0x5c, 0x2d, 0x64, 0x2a, 0x5c, 0x2f, 0x2d, 0x66, 0x27, 0x54, 0x40,
  0x2a, 0x64, 0x65, 0x43, 0x2a, 0x2f, 0x5c, 0x2d, 0x64, 0x2a, 0x5c, 0x2f,
  0x2d, 0x71, 0x65, 0x41, 0x2a, 0x2f, 0x5c, 0x41, 0x0e, 0x54, 0x4a, 0x65,
  0x2d, 0x66, 0x27, 0x54, 0x40, 0x2a, 0x64, 0x2a, 0x5c, 0x2f, 0x2f, 0x5c,
  0x2d, 0x2f, 0x5c, 0x2d, 0x2d, 0x64, 0x2a, 0x5c, 0x2f, 0x2d, 0x71, 0x65,
  0x41, 0x2a, 0x2f, 0x5c, 0x41, 0x0e, 0x54, 0x4a, 0x65, 0x2d, 0x66, 0x27,
  0x54, 0x40, 0x2a, 0x64, 0x2a, 0x5c, 0x2f, 0x2f, 0x5c, 0x2d, 0x64, 0x2a,
  0x5c, 0x2f, 0x2d, 0x40, 0x2a, 0x64, 0x2a, 0x5c, 0x2f, 0x2d, 0x71, 0x65,
  0x43, 0x2a, 0x2f, 0x5c, 0x2d, 0x64, 0x2a, 0x64, 0x2a, 0x5c, 0x2f, 0x2d,
  0x71, 0x65, 0x43, 0x2a, 0x2f, 0x5c, 0x2d, 0x64, 0x2a, 0x5c, 0x2f, 0x2d,
  0x71, 0x64, 0x2a, 0x5c, 0x2f, 0x2d, 0x71, 0x65, 0x2a, 0x64, 0x2a, 0x5c,
  0x2f, 0x2d, 0x71, 0x65, 0x43, 0x2a, 0x2f, 0x5c, 0x2d, 0x64, 0x2a, 0x5c,
  0x2f, 0x2d, 0x66, 0x27, 0x54, 0x40, 0x2a, 0x64, 0x65, 0x43, 0x2a, 0x2f,
  0x5c, 0x2d, 0x64, 0x2a, 0x5c, 0x2f, 0x2d, 0x71, 0x65, 0x41, 0x2a, 0x2f,
  0x5c, 0x41, 0x0e, 0x54, 0x4a, 0x65, 0x2d, 0x66, 0x27, 0x54, 0x40, 0x2a,
  0x64, 0x2a, 0x5c, 0x2f, 0x2f, 0x5c, 0x2d, 0x43, 0x2a, 0x2f, 0x5c, 0x2d,
  0x64, 0x2a, 0x5c, 0x2f, 0x2d, 0x71, 0x65, 0x41, 0x54, 0x40, 0x2a, 0x64,
  0x2a, 0x5c, 0x2f, 0x2d, 0x71, 0x65, 0x2a, 0x64, 0x2a, 0x5c, 0x2f, 0x2d,
  0x71, 0x65, 0x43, 0x2a, 0x2f, 0x5c, 0x2d, 0x64, 0x2a, 0x5c, 0x2f, 0x2d,
  0x66, 0x27, 0x54, 0x40, 0x2a, 0x64, 0x65, 0x43, 0x2a, 0x2f, 0x5c, 0x2d,
  0x64, 0x2a, 0x5c, 0x2f, 0x2d, 0x71, 0x65, 0x41, 0x2a, 0x2f, 0x5c, 0x41,
  0x0e, 0x54, 0x4a, 0x65, 0x2d, 0x66, 0x27, 0x54, 0x40, 0x2a, 0x64, 0x2a,
  0x5c, 0x2f, 0x2f, 0x5c, 0x2d, 0x54, 0x40, 0x2a, 0x64, 0x2a, 0x5c, 0x2f,
  0x2f, 0x5c, 0x2d, 0x43, 0x2a, 0x2f, 0x5c, 0x2d, 0x64, 0x2a, 0x5c, 0x2f,
  0x2d, 0x71, 0x65, 0x41, 0x54, 0x40, 0x2a, 0x64, 0x2a, 0x5c, 0x2f, 0x2d,
  0x71, 0x65, 0x2a, 0x64, 0x2a, 0x5c, 0x2f, 0x2d, 0x71, 0x65, 0x43, 0x2a,
  0x2f, 0x5c, 0x2d, 0x64, 0x2a, 0x5c, 0x2f, 0x2d, 0x66, 0x27, 0x54, 0x40,
  0x2a, 0x64, 0x75, 0x6e, 0x63, 0x68, 0x61, 0x6e, 0x67, 0x65, 0x64, 0x2f,
  0x2d, 0x71, 0x65, 0x41, 0x2a, 0x2f, 0x5c, 0x41, 0x0e, 0x54, 0x4a, 0x65,
  0x2d, 0x66, 0x27, 0x54, 0x40, 0x2a, 0x64, 0x2a, 0x5c, 0x2f, 0x2f, 0x5c,
  0x2d, 0x5c, 0x2d, 0x64, 0x2a, 0x5c, 0x2f, 0x2d, 0x71, 0x65, 0x41, 0x2a,
  0x2f, 0x5c, 0x41, 0x0e, 0x54, 0x4a, 0x65, 0x2d, 0x66, 0x27, 0x54, 0x40,
  0x2a, 0x64, 0x2a, 0x5c, 0x2f, 0x2f, 0x5c, 0x2d, 0x43, 0x2a, 0x2f, 0x5c,
  0x2d, 0x64, 0x2a, 0x5c, 0x2f, 0x2d, 0x71, 0x65, 0x41, 0x54, 0x40, 0x2a,
  0x64, 0x2a, 0x5c, 0x2f, 0x2d, 0x71, 0x65, 0x2a, 0x64, 0x2a, 0x5c, 0x2f,
  0x2d, 0x71, 0x65, 0x43, 0x2a, 0x2f, 0x5c, 0x2d, 0x64, 0x2a, 0x5c, 0x2f,
  0x2d, 0x66, 0x27, 0x54, 0x40, 0x2a, 0x64, 0x65, 0x43, 0x2a, 0x2f, 0x5c,
  0x2d, 0x64, 0x2a, 0x5c, 0x2f, 0x2d, 0x71, 0x65, 0x41, 0x2a, 0x2f, 0x5c,
  0x41, 0x0e, 0x54, 0x4a, 0x65, 0x2d, 0x66, 0x27, 0x54, 0x40, 0x2a, 0x64,
  0x2a, 0x5c, 0x2f, 0x2f, 0x5c, 0x2d, 0x54, 0x40, 0x2a, 0x64, 0x2a, 0x5c,
  0x2f, 0x2f, 0x5c, 0x2d, 0x43, 0x2a, 0x2f, 0x5c, 0x2d, 0x64, 0x2a, 0x5c,
  0x2f, 0x2d, 0x71, 0x65, 0x41, 0x54, 0x40, 0x2a, 0x64, 0x2a, 0x5c, 0x2f,
  0x2d, 0x71, 0x65, 0x2a, 0x64, 0x2a, 0x5c, 0x2f, 0x2d, 0x71, 0x65, 0x43,
  0x2a, 0x2f, 0x5c, 0x2d, 0x64, 0x2a, 0x5c, 0x2f, 0x2d, 0x66, 0x27, 0x54,
  0x40, 0x2a, 0x64, 0x65, 0x43, 0x2a, 0x2f, 0x5c, 0x2d, 0x64, 0x2a, 0x5c,
  0x2f, 0x2d, 0x71, 0x65, 0x41, 0x2a, 0x2f, 0x5c, 0x41, 0x0e, 0x54, 0x4a,
  0x65, 0x2d, 0x66, 0x27, 0x54, 0x40, 0x2a, 0x64, 0x2a, 0x5c, 0x2f, 0x2f,
  0x5c, 0x2d, 0x64, 0x2a, 0x5c, 0x2f, 0x2d, 0x40, 0x2a, 0x64, 0x2a, 0x5c,
  0x2f, 0x2d, 0x71, 0x65, 0x43, 0x2a, 0x2f, 0x5c, 0x2d, 0x64, 0x2a, 0x64,
  0x2a, 0x5c, 0x2f, 0x2d, 0x71, 0x65, 0x43, 0x2a, 0x2f, 0x5c, 0x2d, 0x64,
  0x2a, 0x5c, 0x2f, 0x2d, 0x71, 0x64, 0x2a, 0x5c, 0x2f, 0x2d, 0x71, 0x65,
  0x2a, 0x64, 0x2a, 0x5c, 0x2f, 0x2d, 0x71, 0x65, 0x43, 0x2a, 0x2f, 0x5c,
  0x2d, 0x64, 0x2a, 0x5c, 0x2f, 0x2d, 0x66, 0x27, 0x54, 0x40, 0x2a, 0x64,
  0x65, 0x43, 0x2a, 0x2f, 0x5c, 0x2d, 0x64, 0x2a, 0x5c, 0x2f, 0x2d, 0x71,
  0x65, 0x41, 0x2a, 0x2f, 0x5c, 0x41, 0x0e, 0x54, 0x4a, 0x65, 0x2d, 0x66,
  0x27, 0x54, 0x40, 0x2a, 0x64, 0x2a, 0x5c, 0x2f, 0x2f, 0x5c, 0x2d, 0x43,
  0x2a, 0x2f, 0x5c, 0x2d, 0x64, 0x2a, 0x5c, 0x2f, 0x2d, 0x71, 0x65, 0x41,
  0x54, 0x40, 0x2a, 0x64, 0x2a, 0x5c, 0x2f, 0x2d, 0x71, 0x65, 0x2a, 0x64,
  0x2a, 0x5c, 0x2f, 0x2d, 0x71, 0x65, 0x43, 0x2a, 0x2f, 0x5c, 0x2d, 0x64,
  0x2a, 0x5c, 0x2f, 0x2d, 0x66, 0x27, 0x54, 0x40, 0x2a, 0x64, 0x65, 0x43,
  0x2a, 0x2f, 0x5c, 0x2d, 0x5c, 0x2d, 0x64, 0x2a, 0x5c, 0x2f, 0x2d, 0x71,
  0x65, 0x41, 0x54, 0x40, 0x2a, 0x64, 0x2a, 0x5c, 0x2f, 0x2d, 0x71, 0x65,
  0x2a, 0x64, 0x2a, 0x5c, 0x2f, 0x2d, 0x71, 0x65, 0x01, 0x00, 0x00, 0x00,
  0x00, 0x00, 0x00, 0x1e, 0x2f, 0x2d, 0x66, 0x27, 0x54, 0x40, 0x2a, 0x64,
  0x65, 0x43, 0x2a, 0x2f, 0x5c, 0x2d, 0x64, 0x2a, 0x5c, 0x2f, 0x2d, 0x71,
  0x65, 0x41, 0x2a, 0x2f, 0x5c, 0x41, 0x0e, 0x54, 0x4a, 0x65, 0x2d, 0x66,
  0x27, 0x54, 0x40, 0x2a, 0x64, 0x2a, 0x5c, 0x2f, 0x2f, 0x5c, 0x2d
};
unsigned int fuzz_artifacts_e2e_minimized_from_806e667aa47e62315da9008734730b6a09fe8c0f_len = 2567;

[ahelwer]

Yeah I've run into a couple of these and unfortunately it makes fuzzing kind of useless on this grammar (should probably update the README about that). I suspect it is an infinite loop bug somewhere in the error recovery code. When I debugged it it kept resetting to the beginning of input without clearing external scanner state, so it just kept accumulating. However I haven't spent the time isolating it enough to file a bug with upstream tree-sitter (mostly because I didn't understand LR(1) grammars until recently). Here's a shorter input I found a while ago although I don't know whether it still triggers the bug: tree-sitter/tree-sitter#2073

Alternatively the input is long enough that it could just be legitimately expanding the external scanner state past the hardcoded byte limit, and there isn't really any way to handle that without crashing.

Neat to learn about the formatter, I'll mention it in this month's edition of the TLA+ development newsletter!

[domodwyer]

Interesting! Yeah it's probably good to mention in the readme - if not just for fuzzing, but for the potential implication of their being known bad inputs that can cause a crash. It's obviously not a big deal in formatter, but it's good to give a heads up in case it does matter for some application. I'd be happy to open a PR.

For what it's worth, I had no problems after configuring libFuzzer to generate <1024 length inputs (-max_len=1022).

I had no idea about the newsletter - that is very cool! Is there somewhere I can sign up to get it via email?

[ahelwer]

If that's the case it would be worth it to add a note about -max_len to the fuzzing section of the README. Perhaps some changes to tree-sitter (or rewriting the external scanner in C) have fixed the crash on shorter inputs. Real-world specifications would hit the 1024-byte external scanner state limit (built in to tree-sitter) if they include conjunction lists or proofs nested more than around 1024 levels deep, but that's fine; the limit has to be somewhere.

If you subscribe to the TLA+ google group mailing list I send a message about new newsletter posts here: https://groups.google.com/g/tlaplus/c/q2NSb2n0tiM

foundation.tlapl.us is also a Hugo site and I think they generate RSS feeds by default although I can't figure out where.

[domodwyer]

You were right, I found the RSS feed! Thanks for the tip.

I've opened a PR to add a little info about the crashes & workaround to the fuzzing section on the README (#136).

[ahelwer]

Thanks!

[ahelwer]

@domodwyer was thinking of either getting the RSS feed to display the full article or switch to Atom, since you're the only consumer of it I know of what do you think?

P.S. see whether you can join the monthly TLA+ community meetings! https://groups.google.com/g/tlaplus/c/3CloQYEH0qQ/m/GAIxbKNgBAAJ

[domodwyer]

Thanks for asking! I use Feedly which has support for both RSS & Atom feeds and I'd probably prefer if the full artical was available, but the only downside is that if you were to include code blocks (i.e. code samples) they would be rendered as normal text rather than with some with code highlighting. I've used RSS for years, but I've noticed a bit of a popular resurgence recently so sticking a link / RSS icon / something might help others adopt it too.

Either way, please don't hold anything back on my behalf.

see whether you can join the monthly TLA+ community meetings!

I think I shall!