AddHistory         55 src/d8-readline.cc   virtual void AddHistory(const char* str);
AddHistory        100 src/d8-readline.cc     AddHistory(result);
AddHistory        128 src/d8.h         virtual void AddHistory(const char* str) { }