Symbol: _mul_x1_in