But in the real code the require statementr is not there, either. The only thing that's "require"d is the top-level module.

I need to improve my model to figure out how that happens. Will try to do it later.