Division_ring loading ...