PrintProperties   448 src/objects-printer.cc   PrintProperties(out);
PrintProperties   464 src/objects-printer.cc   PrintProperties(out);
PrintProperties   779 src/objects-printer.cc   PrintProperties(out);
PrintProperties  2060 src/objects.h    inline void PrintProperties() {
PrintProperties  2061 src/objects.h      PrintProperties(stdout);
PrintProperties  2063 src/objects.h    void PrintProperties(FILE* out);