// filled if the FBO is given out to a client or on the freelist, but
// not if it is deleted from the freelist.
std::map<std::pair<void *, GLuint>, FBO> fbo_formats;
// filled if the FBO is given out to a client or on the freelist, but
// not if it is deleted from the freelist.
std::map<std::pair<void *, GLuint>, FBO> fbo_formats;