@hyc What do you think of wasm? As a "you can't do fun things with the stack or generally deciding to execute arbitrary storage and addresses, but you can express pretty much any (typed) access to a (virtual) data memory space? As a safe enough for mortals (and maybe somewhat less than deterministically generated code) portable assembly language for most usage (I'm not talking about the jailed environment here, just the language)?