Semisimple_ring loading ...