Symbol: SUPER_MUX_MUX_WIDTH