module tagion.testbench.tvm;

public import wasm_testsuite = tagion.testbench.tvm.wasm_testsuite;