inline uint32x2x3_t vld3(const u32 * ptr) { return vld3_u32(ptr); }
void test_vld3u32 (void) { uint32x2x3_t out_uint32x2x3_t; out_uint32x2x3_t = vld3_u32 (0); }