WASM SpecTec has been adopted