PrintElementsKind   80 src/elements-kind.h void PrintElementsKind(FILE* out, ElementsKind kind);
PrintElementsKind  443 src/objects-printer.cc   PrintElementsKind(out, this->map()->elements_kind());
PrintElementsKind  462 src/objects-printer.cc   PrintElementsKind(out, this->map()->elements_kind());
PrintElementsKind  543 src/objects-printer.cc   PrintElementsKind(out, elements_kind());
PrintElementsKind 1156 src/objects.cc     PrintElementsKind(file, from_kind);
PrintElementsKind 1158 src/objects.cc     PrintElementsKind(file, to_kind);