wat2wasm --debug-names puzzle-invoke.wabt -o puzzle-invoke-prebuilt.wasm
wasmtime run puzzle-invoke-prebuilt.wasm

# OR

wat2wasm --debug-names puzzle-invoke.wabt -o puzzle-invoke-prebuilt.wasm
wasmtime --invoke run puzzle-invoke-prebuilt.wasm