1// re2c $INPUT -o $OUTPUT -ci
2#include <stdio.h>
3
4/*!types:re2c*/
5
6int test(const char* str)
7{
8    const unsigned char* YYCURSOR = (const unsigned char*)str;
9    const unsigned char* YYMARKER;
10    const unsigned char *YYCTXMARKER;
11    int c = yycinit;
12
13    /*!re2c
14        re2c:define:YYCTYPE = "unsigned char";
15        re2c:yyfill:enable = 0;
16        re2c:define:YYGETCONDITION = "c";
17        re2c:define:YYGETCONDITION:naked = 1;
18        re2c:define:YYSETCONDITION = "c = @@;";
19        re2c:define:YYSETCONDITION:naked = 1;
20
21        //<*>* { return 0; }
22        <init>* { return 0; }
23        <init>"A" :=> C2
24        <C2>* { return 0; }
25        <C2>"B" { return 1; }
26    */
27}
28
29int main()
30{
31    printf("%d\n", test("AB"));
32    return 0;
33}
34