Testing symbol analysis. Lots of todos in various places.