C can't do provenance

Then someone needs to correct https://en.cppreference.com/w/c/memory/free, which says the following:

> The behavior is undefined if after free() returns, an access is made through the pointer ptr (unless another allocation function happened to result in a pointer value equal to ptr).