--- /dev/null
+/* Generated by re2c */
+#line 1 "input5.re"
+
+#line 5 "<stdout>"
+{
+ YYCTYPE yych;
+ goto yy0;
+ ++YYCURSOR;
+yy0:
+ if(YYLIMIT == YYCURSOR) YYFILL(1);
+ yych = *YYCURSOR;
+ switch(yych){
+ case 'a': goto yy2;
+ default: goto yy4;
+ }
+yy2: ++YYCURSOR;
+ goto yy3;
+yy3:
+#line 3 "input5.re"
+{ return 0; }
+#line 22 "<stdout>"
+yy4: ++YYCURSOR;
+ goto yy5;
+yy5:
+#line 4 "input5.re"
+{ return 1; }
+#line 28 "<stdout>"
+}
+#line 6 "input5.re"
+
--- /dev/null
+/*!re2c
+
+[a] { return 0; }
+[^a] { return 1; }
+
+*/
--- /dev/null
+/* Generated by re2c */
+#line 1 "input6.re"
+
+#line 5 "<stdout>"
+{
+ YYCTYPE yych;
+ goto yy0;
+ ++YYCURSOR;
+yy0:
+ if(YYLIMIT == YYCURSOR) YYFILL(1);
+ yych = *YYCURSOR;
+ goto yy3;
+
+#line 3 "input6.re"
+{ return 0; }
+#line 17 "<stdout>"
+yy3: ++YYCURSOR;
+ goto yy4;
+yy4:
+#line 4 "input6.re"
+{ return 1; }
+#line 23 "<stdout>"
+}
+#line 6 "input6.re"
+
--- /dev/null
+/*!re2c
+
+[]/[] { return 0; }
+[\000-\377] { return 1; }
+
+*/