I want to use double buffering with SVGAlib, how do I do it, and what potential problems exist with it ?