a745102001-02-22Fredrik Hübinette (Hubbe) #pike __REAL_VERSION__
29a20a2003-04-27Martin Nilsson #pragma strict_types
a745102001-02-22Fredrik Hübinette (Hubbe)  constant delete=m_delete; constant Iterator = __builtin.mapping_iterator;