for (mon_enchant_list::iterator i = enchantments.begin();
         i != enchantments.end(); )

    if (enchantments.empty())
        return;
    
    const mon_enchant_list ec = enchantments;
    for (mon_enchant_list::const_iterator i = ec.begin();
         i != ec.end(); ++i)

        mon_enchant_list::iterator cur = i++;
        switch (cur->ench)

        switch (i->ench)

            lose_ench_levels(*cur, levels);

            lose_ench_levels(*i, levels);

    for (mon_enchant_list::iterator i = enchantments.begin();
         i != enchantments.end(); )

    if (enchantments.empty())
        return;
    
    const mon_enchant_list ec = enchantments;
    for (mon_enchant_list::const_iterator i = ec.begin();
         i != ec.end(); )

        mon_enchant_list::iterator cur = i++;
        apply_enchantment(*cur, spd);
        // If the monster died, the iterator will be invalid!

        apply_enchantment(*i, spd);