Regular_local_ring loading ...