Non-nullable pointers for C++ - View it on GitHub