Symbol: felem_mul_ref