The loaded module list should be in the GlobalContext, not a static variable