Symbol: _mul_x2_in