a745102001-02-22Fredrik Hübinette (Hubbe) #pike __REAL_VERSION__ constant delete=m_delete; constant Iterator = __builtin.mapping_iterator;