Symbol: de_init_rings