deleted some old files.
proved one case for ref-typing-ok/read