prog: v8fpsimd_t
vgopts: -q