inline uint32x4_t vminq(const uint32x4_t & v0, const uint32x4_t & v1) { return vminq_u32(v0, v1); }
uint32x4_t test_vminq_u32 (uint32x4_t __a, uint32x4_t __b) { return vminq_u32(__a, __b); }