pub const wasm_insn_WASM_INS_I32_LE_U: wasm_insn = 77;