My mental model of Initialization and Deinitialization:
This is kind've a brain dump of concepts, and does not necessarily represent a well-defined and minimized model. For instance, it's not clear to me if deinitialized memory is a "real" thing, or just a concept I like to have to think about dropped memory.
There are 3 (5) states a bit can have: uninit, init (0 or 1), deinit (0 or 1)
Freshly allocated memory is uninit. mem::unitialized() produces uninit.
Initializing memory makes it init with a definite value.