FPSIMD_CTX
if (flags & FPSIMD_CTX)
new_flags |= FPSIMD_CTX;
if (terminated && !(flags & FPSIMD_CTX)) {