Null pointer handling
Increase NALLOC, 1K --> 4K
Assertion failure if memory exhausted
Add TODO
Ignore core file
Debugging info