JSDatePrint       158 src/objects-printer.cc       JSDate::cast(this)->JSDatePrint(out);
JSDatePrint      6370 src/objects.h    inline void JSDatePrint() {
JSDatePrint      6371 src/objects.h      JSDatePrint(stdout);
JSDatePrint      6373 src/objects.h    void JSDatePrint(FILE* out);