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