void test_vst2s8 (void) { int8_t *arg0_int8_t; int8x8x2_t arg1_int8x8x2_t; vst2_s8 (arg0_int8_t, arg1_int8x8x2_t); }
inline void vst2(s8 * ptr, const int8x8x2_t & v) { return vst2_s8(ptr, v); }