instead of saving framebuffer_binding as an integer, we can save it as a framebuffer_t and save some time in cache lookup