}

		const go = new Go();
		let mod, inst;
		WebAssembly.instantiateStreaming(fetch("test.wasm"), go.importObject).then((result) => {
			mod = result.module;
			inst = result.instance;
			document.getElementById("runButton").disabled = false;
		}).catch((err) => {
			console.error(err);
		});

		async function run() {
			console.clear();
			await go.run(inst);

    public static void setInstance(final PrintStream stream) {
        inst = new LogStream(stream);
    }

    /**
     * Returns the singleton LogStream instance.
     *
     * @return the LogStream instance
     */
    public static LogStream getInstance() {
        if (inst == null) {
            setInstance(System.err);
        }
        return inst;
    }

			// The set of RVV special operand names and the set of CSR special operands
			// names are disjoint and so can safely share a single namespace. However,
			// it's possible that a future update to the CSRs in inst.go could introduce
			// a conflict. This check ensures that such a conflict does not go
			// unnoticed.
			if _, ok := riscv64SpecialOperand[csrName]; ok {
				panic(fmt.Sprintf("riscv64 special operand %q redefined", csrName))

    }

    private void resetLogStreamInstance() throws Exception {
        // Use reflection to reset the static instance field to null
        Field instanceField = LogStream.class.getDeclaredField("inst");
        instanceField.setAccessible(true);
        instanceField.set(null, null);
    }

    @Test
    void testConstructor() {
        // Test constructor creates a LogStream that extends PrintStream

			continue
		}

		// Ignore GLOBL.
		if strings.HasPrefix(line, "GLOBL ") {
			continue
		}

		// The general form of a test input line is:
		//	// comment
		//	INST args [// printed form] [// hex encoding]
		parts := strings.Split(line, "//")
		printed := strings.TrimSpace(parts[0])
		if printed == "" || strings.HasSuffix(printed, ":") { // empty or label
			continue
		}
		seq++

        }
    }

    private static byte[] deriveKey(final byte[] masterKey, final String cnst) {
        final MessageDigest md5 = Crypto.getMD5();
        md5.update(masterKey);
        md5.update(cnst.getBytes(StandardCharsets.US_ASCII));
        md5.update((byte) 0);
        return md5.digest();
    }

    @Override

ýnf¼MN÷riteW†iÈw²n[B-n_Oú÷ÎFiF}ª ãôô˜ˆnãÞýùaNSñ KŽ{VÀQû*Q‘0Cvi ËD{åûå2 ñ OxAvEØåìa¸ÿnf¼Àjq>server˺GgeAêxijesy_êS²g ÆXO¦úÇ}{ém}n~qÐ a·s 5úß$ó0iH}ª1ûâ}· ~® ’‘¼ ÖïÓßCÖ×EˆSRzÛÈìgD<ywyóGK>z{„sZHýF}¼~eÈKoD~I†`Èie¼®HÆzöç. /vf®eeÎ2ûñº`t @Vû+` &*˨AQG¾Wyx¼Pñst¢GZm ]]DJ Ö]ªo^ŠœPÜxNK¦1·SA¿iJtih{CÜqLY®}Va Jfs ck£iyzac­‚B^ž ñP¢pïx~Wc÷GbVÕ¨VX{B’axItã^R}p®ÜP ª—!` CþÕ)HFIH¸lãòaJ˪|Oªpkxd4ŽUQõ¤/F}m }hcqtˆßTH}rIj 8|vNH} £­_eòèimã2ñ _•[qVçñÑjinwȳÖA`kÖkV{A—}_ò_[«kw«mìigò™go7srQSò­]V|q@e2PB÷Ì«öö@ÔþËÚzÙù ÿÌëÙÆ ÿðÌßÜm¼Œ÷cluñ²...