-/* Generated by re2c 0.5 on Wed Sep 3 19:14:59 2003 */
+/* Generated by re2c 0.5 on Thu Sep 4 19:43:27 2003 */
#line 1 "/usr/src/web/php/php4_3/ext/standard/var_unserializer.re"
#include "php.h"
#include "ext/standard/php_var.h"
return object_common2(UNSERIALIZE_PASSTHRU, elements);
}
yy23: yych = *++YYCURSOR;
- if(yych == '+') goto yy24;
- if(yych <= '/') goto yy2;
- if(yych <= '9') goto yy25;
- goto yy2;
+ if(yych <= ','){
+ if(yych != '+') goto yy2;
+ } else {
+ if(yych <= '-') goto yy24;
+ if(yych <= '/') goto yy2;
+ if(yych <= '9') goto yy25;
+ goto yy2;
+ }
yy24: yych = *++YYCURSOR;
if(yych <= '/') goto yy2;
if(yych >= ':') goto yy2;