Thu, 01 Feb 2007 11:31:46 +0100 mario Added some comments. Fixed some accesses to potential NULL pointers.
Thu, 01 Feb 2007 11:04:56 +0100 mario Changing from decl_state directly to sfc_state