Function time_buf

dlib/timing.h:80–84

        const int NAME_LENGTH = 40;

        inline std::atomic<uint64_t>* time_buf()
        {
            static std::atomic<uint64_t> buf[TIME_SLOTS];
            return buf;
        }

        inline char* name_buf(int i, const char* name)
        {