AccessCheckInfoPrint 8417 src/objects.h    inline void AccessCheckInfoPrint() {
AccessCheckInfoPrint 8418 src/objects.h      AccessCheckInfoPrint(stdout);
AccessCheckInfoPrint 8420 src/objects.h    void AccessCheckInfoPrint(FILE* out);