--- /dev/null
+/* Generated by re2c */
+char *scan(char *p)
+{
+
+ {
+ unsigned char yych;
+
+ yych = (unsigned char)*p;
+ if(yych <= '/') goto yy4;
+ if(yych >= ':') goto yy4;
+ ++p;
+ yych = (unsigned char)*p;
+ goto yy7;
+yy3:
+ {return p;}
+yy4:
+ ++p;
+ {return (char*)0;}
+yy6:
+ ++p;
+ yych = (unsigned char)*p;
+yy7:
+ if(yych <= '/') goto yy3;
+ if(yych <= '9') goto yy6;
+ goto yy3;
+ }
+
+}
+
--- /dev/null
+char *scan(char *p)
+{
+/*!re2c
+ re2c:define:YYCTYPE = "unsigned char";
+ re2c:define:YYCURSOR = p;
+ re2c:yyfill:enable = 0;
+ re2c:yych:conversion = 1;
+ re2c:indent:top = 1;
+ [0-9]+ {return p;}
+ [\000-\377] {return (char*)0;}
+*/
+}
+