uint64x2_t test_vshll_n_u32 (uint32x2_t a) { return vshll_n_u32(a, 32); }
uint64x2_t test_vshll_n_u32_2 (uint32x2_t __a) { return vshll_n_u32 (__a, 32); }