EXTERNAL_ASCII_SYMBOL_TYPE  479 src/objects-printer.cc     case EXTERNAL_ASCII_SYMBOL_TYPE:
EXTERNAL_ASCII_SYMBOL_TYPE  224 src/objects.h    V(EXTERNAL_ASCII_SYMBOL_TYPE)                                                \
EXTERNAL_ASCII_SYMBOL_TYPE  340 src/objects.h    V(EXTERNAL_ASCII_SYMBOL_TYPE,                                                \