PrintDescriptors  905 src/objects-debug.cc       PrintDescriptors();
PrintDescriptors  911 src/objects-debug.cc       PrintDescriptors();
PrintDescriptors 2649 src/objects.h    inline void PrintDescriptors() {
PrintDescriptors 2650 src/objects.h      PrintDescriptors(stdout);
PrintDescriptors 2652 src/objects.h    void PrintDescriptors(FILE* out);