rem: void voodoo3_reset_overlay() {
add: voodoo3_reset_overlay(void) {
context: void voodoo3_reset_overlay() {    uint32 vidcfg, stride;    vidcfg=voodoo3_read32(VIDPROCCFG);	stride=voodoo3_read32(VIDDESKTOPOVERLAYSTRIDE);    /* reset the video */	vidcfg &= ~VIDPROCCFGMASK;    voodoo3_write32(VIDPROCCFG, vidcfg);    voodoo3_write32(RGBMAXDELTA, 0x0080808);    voodoo3_write32(VIDCHROMAMIN, 0);    voodoo3_write32(VIDCHROMAMAX, 0);}