I think it would be a real shame if the module system design made it impossible to statically enumerate all the module's reachable from a program entry-point wi

I think it would be a real shame if the module system design made it impossible to statically enumerate all the module's reachable from a program entry-point without executing the program ...