rem: void voodoo3_stop_overlay() {
add: voodoo3_stop_overlay(void) {
context: void voodoo3_stop_overlay() {    uint32 vidcfg;    vidcfg=voodoo3_read32(VIDPROCCFG);    /* reset the video */	vidcfg &= ~VIDPROCCFGMASK;    voodoo3_write32(VIDPROCCFG, vidcfg);}