Synthesize controllers, then you can inspect modules!