SHORT_EXTERNAL_ASCII_SYMBOL_TYPE  482 src/objects-printer.cc     case SHORT_EXTERNAL_ASCII_SYMBOL_TYPE:
SHORT_EXTERNAL_ASCII_SYMBOL_TYPE  227 src/objects.h    V(SHORT_EXTERNAL_ASCII_SYMBOL_TYPE)                                          \
SHORT_EXTERNAL_ASCII_SYMBOL_TYPE  352 src/objects.h    V(SHORT_EXTERNAL_ASCII_SYMBOL_TYPE,                                          \