Finitely_generated_module loading ...