Serializer Bugs?

-- adam@trachtenberg.com author of o'reilly's php cookbook avoid the holiday rush, buy your copy today! standard/var_unserializer.lo var_unserializer.re: In function `php_var_unserialize': var_unserializer.re:336: warning: comparison is always false due to limited range of data type var_unserializer.re:320: warning: label `yy86' defined but not used var_unserializer.re:319: warning: label `yy85' defined but not used var_unserializer.re:316: warning: label `yy84' defined but not used var_unserializer.re:327: warning: label `yy80' defined but not used var_unserializer.re:326: warning: label `yy79' defined but not used var_unserializer.re:323: warning: label `yy78' defined but not used var_unserializer.re:316: warning: label `yy74' defined but not used var_unserializer.re:341: warning: label `yy72' defined but not used var_unserializer.re:340: warning: label `yy71' defined but not used var_unserializer.re:337: warning: label `yy70' defined but not used var_unserializer.re:394: warning: label `yy66' defined but not used var_unserializer.re:393: warning: label `yy65' defined but not used var_unserializer.re:390: warning: label `yy64' defined but not used var_unserializer.re:361: warning: label `yy60' defined but not used var_unserializer.re:350: warning: label `yy57' defined but not used var_unserializer.re:405: warning: label `yy53' defined but not used var_unserializer.re:391: warning: label `yy51' defined but not used var_unserializer.re:366: warning: label `yy48' defined but not used var_unserializer.re:384: warning: label `yy44' defined but not used var_unserializer.re:383: warning: label `yy43' defined but not used var_unserializer.re:381: warning: label `yy42' defined but not used var_unserializer.re:378: warning: label `yy41' defined but not used var_unserializer.re:392: warning: label `yy37' defined but not used var_unserializer.re:391: warning: label `yy36' defined but not used var_unserializer.re:389: warning: label `yy35' defined but not used var_unserializer.re:386: warning: label `yy34' defined but not used var_unserializer.re:475: warning: label `yy30' defined but not used var_unserializer.re:474: warning: label `yy29' defined but not used var_unserializer.re:472: warning: label `yy28' defined but not used var_unserializer.re:469: warning: label `yy27' defined but not used var_unserializer.re:476: warning: label `yy23' defined but not used var_unserializer.re:475: warning: label `yy22' defined but not used var_unserializer.re:473: warning: label `yy21' defined but not used var_unserializer.re:471: warning: label `yy20' defined but not used var_unserializer.re:465: warning: label `yy18' defined but not used var_unserializer.re:498: warning: label `yy15' defined but not used var_unserializer.re:296: warning: label `yy1' defined but not used