Direct_sum_of_modules loading ...