Symbol: s_mp_mul_d_add_offset