void dump_ptr(const asn_base_ptr & ptr, ostream & ostrm = cout, 
              int depth = -2);