Pointer utilities are defined in the microlibrary static library’s
microlibrary/pointer.h/microlibrary/pointer.cc
header/source file pair.
Not_NullTo verify a pointer is not null and propagate the pointer without needing further not null
checks, use the ::microlibrary::Not_Null utility.
* and ->) are supported.::microlibrary::Not_Null::get() member functions.