Build a tiny WebAssembly function with constrained blocks. Invalid stack combinations are disabled before you can add them.
(module ;; beginner_easy_module
(func $run (param $a i32) (param $b i32) (result i32)
local.get $a
local.get $b
i32.add
return
)
(export "run" (func $run))
)