Index: TODO
===================================================================
diff -u -r714fdeeeeca44ee6f77d93349a0afec4c4b139cc -rb361d502bbf5fc7920797d064ec21bd111d11081
--- TODO	(.../TODO)	(revision 714fdeeeeca44ee6f77d93349a0afec4c4b139cc)
+++ TODO	(.../TODO)	(revision b361d502bbf5fc7920797d064ec21bd111d11081)
@@ -5004,6 +5004,9 @@
   improve documentation
 - get rid of // comments
 - use nonnull variable attributes for prototpyes (nsf.h, nsfInt.h, nsf.c)
+- add returns_nonnull assertion
+- simplify few inner code pieces based on assertions
+- add serveral more assertions based on nonnull sepcifications.
 
 ========================================================================
 TODO: