#include int main (void) { float64x2_t tmp; tmp = vdupq_n_f64(0.0f); }