First working test with SourceManager -- known not working in lots of places...