used "i4sf k" instead of "v4sf l0, l1"