(module (memory 256 256) (data (i32.const 10) "waka waka waka waka waka") (export "test1" $test1) (func $test1 (i32.store8 (i32.const 12) (i32.const 115)) ;; a safe store, should alter memory (unreachable) (i32.store8 (i32.const 13) (i32.const 114)) ;; a safe store, should alter memory, but we trapped already, and so must roll back the first one too ) )