MapPrint           80 src/objects-printer.cc       Map::cast(this)->MapPrint(out);
MapPrint         5018 src/objects.h    inline void MapPrint() {
MapPrint         5019 src/objects.h      MapPrint(stdout);
MapPrint         5021 src/objects.h    void MapPrint(FILE* out);