Yes. I think I found more, but @cmr removed a lot of the rustc dead code.