typedef float *__restrict__ pRF32;
typedef double *__restrict__ pRF64;
float addv_f32 (pRF32 a)
{
int i;
float s = 0.0;
for (i=0; i<16; i++)
s += a[i];
return s;
}
double addv_f64 (pRF64 a)
{
int i;
double s = 0.0;
for (i=0; i<16; i++)
s += a[i];
return s;
}