/tests/wasm_compile_arithm/
../
Makefile
instructions.wat
test.v
words_to_verify.mem