WASI: WebAssembly System Interface