ObjectTemplateInfoPrint 8590 src/objects.h    inline void ObjectTemplateInfoPrint() {
ObjectTemplateInfoPrint 8591 src/objects.h      ObjectTemplateInfoPrint(stdout);
ObjectTemplateInfoPrint 8593 src/objects.h    void ObjectTemplateInfoPrint(FILE* out);