ion>
              <option value="/bin/tests/pipe.wasi.wasm">
                Pipe STDIN to STDOUT
              </option>
              <option value="/bin/tests/read-file.wasi.wasm">
                Read foo.txt to STDOUT
              </option>
              <option value="/bin/tests/write.wasi.wasm">
                Write STDIN to arg1
              </option>
              <option value="/bin/tests/write-read.wasi.wasm">
                Write STDIN to arg1 and read back to STDOUT
              </option>