void f(float *restrict data, float d, int n) {
    for (int i = 0; i < n; i++)
       data[i] = d;
}