It seems this line should keep aligned with `elements_kind == EXTERNAL_INT32x4_ELEMENTS ||`.