in the process of proving ref-typing-ok/read/unique.