module.getModule() looks odd (I know it's just a test, but it's something to consider for naming... if we continue thinking about alternatives to ModuleDescriptor)