SHORT_EXTERNAL_SYMBOL_TYPE  484 src/objects-printer.cc     case SHORT_EXTERNAL_SYMBOL_TYPE: return "SHORT_EXTERNAL_SYMBOL";
SHORT_EXTERNAL_SYMBOL_TYPE  225 src/objects.h    V(SHORT_EXTERNAL_SYMBOL_TYPE)                                                \
SHORT_EXTERNAL_SYMBOL_TYPE  344 src/objects.h    V(SHORT_EXTERNAL_SYMBOL_TYPE,                                                \