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

# OR

wat2wasm --debug-names puzzle-start.wast -o puzzle-start-prebuilt.wasm
wasmtime puzzle-start-prebuilt.wasm