del_high         102 modules/up/src/gnug++/unsigned.OXPSet.cc         p.del_high();
del_high         236 modules/up/src/gnug++/unsigned.OXPSet.cc       p.del_high();
del_high         269 modules/up/src/gnug++/unsigned.OXPSet.cc       p.del_high();