@chqrlie Which, as an aside, indicates that the creators of C originally were a bit flip with their type system, for historical reasons (the predecessors it was built on, the state of the art when it was conceived) and for pragmatic reasons (Ritchie needed something that worked, and fast, to port the Unix kernel). C++ still suffers from this deficiency in rigor, needing "value types" like those lvalues orthogonally to the type system. Preferably, designating a memory location would be something expressed within the type system, like Algo68 did it with
ref.
