void signal_div(spx_sig_t *x, spx_sig_t *y, float scale, int len)
void signal_div(spx_sig_t *x, spx_sig_t *y, spx_word32_t scale, int len)
void signal_div(spx_sig_t *x, spx_sig_t *y, float scale, int len){   int i;   float scale_1 = 1/scale;   for (i=0;i<len;i++)      y[i] = scale_1*x[i];}