[bla3]

Sounds like they compile rust to wasm, so regular wasm instead of WasmGC is probably enough for them.