Finite_length_module loading ...