<isa_extensions>
simd128
</isa_extensions>
