There are usually many prims per framebuffer. This cuts time spent in SetRenderFramebuffer() from 1% to 0.13% (although a bit more time in ExecuteOp, not much.)