https://123dok.net/document/q7661vny-pointer-disambiguation-via-strict-inequalities.html