#include <stdint.h>
int16_t meuh;
extern int uv_encode(double, double, int);
void f(int *ab, int e) {
  uint32_t *ao = (uint32_t *)ab;
  int16_t *aq = &meuh;
  while (e) {
    int ar, as;
    ar = 1. / 2147483647;
    as = uv_encode(5, *aq, *ab);
    if (as)
      *ao++ = ar;
  }
}