Symbol: vga_mm_wseq