This is a one-time call -- it should be called only once for the entire course.  dump_module is called recursively.