Index: TODO
===================================================================
diff -u -re93658657e24f7bd976f57ce1aba03e574bf96d5 -r872d1371a257c8a20383ae70efa83bbf3ff78f96
--- TODO	(.../TODO)	(revision e93658657e24f7bd976f57ce1aba03e574bf96d5)
+++ TODO	(.../TODO)	(revision 872d1371a257c8a20383ae70efa83bbf3ff78f96)
@@ -5008,6 +5008,7 @@
 - simplify few inner code pieces based on assertions
 - add serveral more assertions based on nonnull sepcifications.
 - made nsf::is using the "-strict" option when tcl's "string is" is called.
+- let the c-code generator produce as well nonnull assertions
 
 ========================================================================
 TODO: