--- a/stage4/generate_cc/generate_cc_sfc.cc	Thu Jul 19 14:07:04 2007 +0200
+++ b/stage4/generate_cc/generate_cc_sfc.cc	Fri Jul 20 22:07:15 2007 +0200
@@ -49,6 +49,8 @@
 
   public:
     transition_element(transition_c *tr, char pr, char idx) {
+      prev = NULL;
+      next = NULL;
       transition = tr;
       priority = pr;
       index = idx;