SAFE—Sandbox Abstract Flow Evaluator—in WebAssembly, sparse memory, step cap; Turing-complete in theory