[diziet_sma]

This does help, but the hard part of memory leaks is leaks across module/api boundaries. You can write a memory safe module, I can write a memory safe program, but when my program starts calling your program there's nothing validating I'm maintaining the invariants required to avoid memory leaks.

Hopefully the invariants are documented, but relying on documentation to help programmers avoid memory leaks is far from foolproof.