Principal_ideal_ring loading ...