Torsion-free_module loading ...