typedef long longv4 __attribute__ ((vector_size(32)));

extern "C" {

[[gnu::always_inline]] longv4 load_v4i64(void *ptr);


[[gnu::always_inline]] longv4 load_v8i32(void *ptr);

}