Will help us reduce the memory overhead and also we can then use them even without NMT. 

As a model on how we can expose a new mechanism to the users for checking for overflow and underflow of mallocs, we can look at how macOS does it:

https://developer.apple.com/library/archive/documentation/Performance/Conceptual/ManagingMemory/Articles/MallocDebug.html