    ///! Contains all constants and types representing the wasm
    ///! binary format, as specified by:
    ///! https://webassembly.github.io/spec/core/
    const std = @import("std.zig");
    const testing = std.testing;

    // TODO: Add support for multi-byte ops (e.g. table operations)

    /// Wasm instruction opcodes
    ///
    /// All instructions are defined as per spec:
    /// https://webassembly.github.io/spec/core/appendix/index-instructions.html
    pub const Opcode = enum(u8) {
        @"unreachable" = 0x00,
        nop = 0x01,
        block = 0x02,
        loop = 0x03,
        @"if" = 0x04,
        @"else" = 0x05,
        end = 0x0B,
        br = 0x0C,
        br_if = 0x0D,
        br_table = 0x0E,
        @"return" = 0x0F,
        call = 0x10,
        call_indirect = 0x11,
        drop = 0x1A,
        select = 0x1B,
        local_get = 0x20,
        local_set = 0x21,
        local_tee = 0x22,
        global_get = 0x23,
        global_set = 0x24,
        i32_load = 0x28,
        i64_load = 0x29,
        f32_load = 0x2A,
        f64_load = 0x2B,
        i32_load8_s = 0x2C,
        i32_load8_u = 0x2D,
        i32_load16_s = 0x2E,
        i32_load16_u = 0x2F,
        i64_load8_s = 0x30,
        i64_load8_u = 0x31,
        i64_load16_s = 0x32,
        i64_load16_u = 0x33,
        i64_load32_s = 0x34,
        i64_load32_u = 0x35,
        i32_store = 0x36,
        i64_store = 0x37,
        f32_store = 0x38,
        f64_store = 0x39,
        i32_store8 = 0x3A,
        i32_store16 = 0x3B,
        i64_store8 = 0x3C,
        i64_store16 = 0x3D,
        i64_store32 = 0x3E,
        memory_size = 0x3F,
        memory_grow = 0x40,
        i32_const = 0x41,
        i64_const = 0x42,
        f32_const = 0x43,
        f64_const = 0x44,
        i32_eqz = 0x45,
        i32_eq = 0x46,
        i32_ne = 0x47,
        i32_lt_s = 0x48,
        i32_lt_u = 0x49,
        i32_gt_s = 0x4A,
        i32_gt_u = 0x4B,
        i32_le_s = 0x4C,
        i32_le_u = 0x4D,
        i32_ge_s = 0x4E,
        i32_ge_u = 0x4F,
        i64_eqz = 0x50,
        i64_eq = 0x51,
        i64_ne = 0x52,
        i64_lt_s = 0x53,
        i64_lt_u = 0x54,
        i64_gt_s = 0x55,
        i64_gt_u = 0x56,
        i64_le_s = 0x57,
        i64_le_u = 0x58,
        i64_ge_s = 0x59,
        i64_ge_u = 0x5A,
        f32_eq = 0x5B,
        f32_ne = 0x5C,
        f32_lt = 0x5D,
        f32_gt = 0x5E,
        f32_le = 0x5F,
        f32_ge = 0x60,
        f64_eq = 0x61,
        f64_ne = 0x62,
        f64_lt = 0x63,
        f64_gt = 0x64,
        f64_le = 0x65,
        f64_ge = 0x66,
        i32_clz = 0x67,
        i32_ctz = 0x68,
        i32_popcnt = 0x69,
        i32_add = 0x6A,
        i32_sub = 0x6B,
        i32_mul = 0x6C,
        i32_div_s = 0x6D,
        i32_div_u = 0x6E,
        i32_rem_s = 0x6F,
        i32_rem_u = 0x70,
        i32_and = 0x71,
        i32_or = 0x72,
        i32_xor = 0x73,
        i32_shl = 0x74,
        i32_shr_s = 0x75,
        i32_shr_u = 0x76,
        i32_rotl = 0x77,
        i32_rotr = 0x78,
        i64_clz = 0x79,
        i64_ctz = 0x7A,
        i64_popcnt = 0x7B,
        i64_add = 0x7C,
        i64_sub = 0x7D,
        i64_mul = 0x7E,
        i64_div_s = 0x7F,
        i64_div_u = 0x80,
        i64_rem_s = 0x81,
        i64_rem_u = 0x82,
        i64_and = 0x83,
        i64_or = 0x84,
        i64_xor = 0x85,
        i64_shl = 0x86,
        i64_shr_s = 0x87,
        i64_shr_u = 0x88,
        i64_rotl = 0x89,
        i64_rotr = 0x8A,
        f32_abs = 0x8B,
        f32_neg = 0x8C,
        f32_ceil = 0x8D,
        f32_floor = 0x8E,
        f32_trunc = 0x8F,
        f32_nearest = 0x90,
        f32_sqrt = 0x91,
        f32_add = 0x92,
        f32_sub = 0x93,
        f32_mul = 0x94,
        f32_div = 0x95,
        f32_min = 0x96,
        f32_max = 0x97,
        f32_copysign = 0x98,
        f64_abs = 0x99,
        f64_neg = 0x9A,
        f64_ceil = 0x9B,
        f64_floor = 0x9C,
        f64_trunc = 0x9D,
        f64_nearest = 0x9E,
        f64_sqrt = 0x9F,
        f64_add = 0xA0,
        f64_sub = 0xA1,
        f64_mul = 0xA2,
        f64_div = 0xA3,
        f64_min = 0xA4,
        f64_max = 0xA5,
        f64_copysign = 0xA6,
        i32_wrap_i64 = 0xA7,
        i32_trunc_f32_s = 0xA8,
        i32_trunc_f32_u = 0xA9,
        i32_trunc_f64_s = 0xAA,
        i32_trunc_f64_u = 0xAB,
        i64_extend_i32_s = 0xAC,
        i64_extend_i32_u = 0xAD,
        i64_trunc_f32_s = 0xAE,
        i64_trunc_f32_u = 0xAF,
        i64_trunc_f64_s = 0xB0,
        i64_trunc_f64_u = 0xB1,
        f32_convert_i32_s = 0xB2,
        f32_convert_i32_u = 0xB3,
        f32_convert_i64_s = 0xB4,
        f32_convert_i64_u = 0xB5,
        f32_demote_f64 = 0xB6,
        f64_convert_i32_s = 0xB7,
        f64_convert_i32_u = 0xB8,
        f64_convert_i64_s = 0xB9,
        f64_convert_i64_u = 0xBA,
        f64_promote_f32 = 0xBB,
        i32_reinterpret_f32 = 0xBC,
        i64_reinterpret_f64 = 0xBD,
        f32_reinterpret_i32 = 0xBE,
        f64_reinterpret_i64 = 0xBF,
        i32_extend8_s = 0xC0,
        i32_extend16_s = 0xC1,
        i64_extend8_s = 0xC2,
        i64_extend16_s = 0xC3,
        i64_extend32_s = 0xC4,

        misc_prefix = 0xFC,
        simd_prefix = 0xFD,
        atomics_prefix = 0xFE,
        _,
    };

    /// Returns the integer value of an `Opcode`. Used by the Zig compiler
    /// to write instructions to the wasm binary file
    pub fn opcode(op: Opcode) u8 {
        return @intFromEnum(op);
    }

    test "Wasm - opcodes" {
        // Ensure our opcodes values remain intact as certain values are skipped due to them being reserved

        const i32_const = opcode(.i32_const);
        const end = opcode(.end);
        const drop = opcode(.drop);
        const local_get = opcode(.local_get);
        const i64_extend32_s = opcode(.i64_extend32_s);

        try testing.expectEqual(@as(u16, 0x41), i32_const);
        try testing.expectEqual(@as(u16, 0x0B), end);
        try testing.expectEqual(@as(u16, 0x1A), drop);
        try testing.expectEqual(@as(u16, 0x20), local_get);
        try testing.expectEqual(@as(u16, 0xC4), i64_extend32_s);
    }

    /// Opcodes that require a prefix `0xFC`
    /// Each opcode represents a varuint32, meaning
    /// they are encoded as leb128 in binary.
    pub const MiscOpcode = enum(u32) {
        i32_trunc_sat_f32_s = 0x00,
        i32_trunc_sat_f32_u = 0x01,
        i32_trunc_sat_f64_s = 0x02,
        i32_trunc_sat_f64_u = 0x03,
        i64_trunc_sat_f32_s = 0x04,
        i64_trunc_sat_f32_u = 0x05,
        i64_trunc_sat_f64_s = 0x06,
        i64_trunc_sat_f64_u = 0x07,
        memory_init = 0x08,
        data_drop = 0x09,
        memory_copy = 0x0A,
        memory_fill = 0x0B,
        table_init = 0x0C,
        elem_drop = 0x0D,
        table_copy = 0x0E,
        table_grow = 0x0F,
        table_size = 0x10,
        table_fill = 0x11,
        _,
    };

    /// Returns the integer value of an `MiscOpcode`. Used by the Zig compiler
    /// to write instructions to the wasm binary file
    pub fn miscOpcode(op: MiscOpcode) u32 {
        return @intFromEnum(op);
    }

    /// Simd opcodes that require a prefix `0xFD`.
    /// Each opcode represents a varuint32, meaning
    /// they are encoded as leb128 in binary.
    pub const SimdOpcode = enum(u32) {
        v128_load = 0x00,
        v128_load8x8_s = 0x01,
        v128_load8x8_u = 0x02,
        v128_load16x4_s = 0x03,
        v128_load16x4_u = 0x04,
        v128_load32x2_s = 0x05,
        v128_load32x2_u = 0x06,
        v128_load8_splat = 0x07,
        v128_load16_splat = 0x08,
        v128_load32_splat = 0x09,
        v128_load64_splat = 0x0A,
        v128_store = 0x0B,
        v128_const = 0x0C,
        i8x16_shuffle = 0x0D,
        i8x16_swizzle = 0x0E,
        i8x16_splat = 0x0F,
        i16x8_splat = 0x10,
        i32x4_splat = 0x11,
        i64x2_splat = 0x12,
        f32x4_splat = 0x13,
        f64x2_splat = 0x14,
        i8x16_extract_lane_s = 0x15,
        i8x16_extract_lane_u = 0x16,
        i8x16_replace_lane = 0x17,
        i16x8_extract_lane_s = 0x18,
        i16x8_extract_lane_u = 0x19,
        i16x8_replace_lane = 0x1A,
        i32x4_extract_lane = 0x1B,
        i32x4_replace_lane = 0x1C,
        i64x2_extract_lane = 0x1D,
        i64x2_replace_lane = 0x1E,
        f32x4_extract_lane = 0x1F,
        f32x4_replace_lane = 0x20,
        f64x2_extract_lane = 0x21,
        f64x2_replace_lane = 0x22,
        i8x16_eq = 0x23,
        i16x8_eq = 0x2D,
        i32x4_eq = 0x37,
        i8x16_ne = 0x24,
        i16x8_ne = 0x2E,
        i32x4_ne = 0x38,
        i8x16_lt_s = 0x25,
        i16x8_lt_s = 0x2F,
        i32x4_lt_s = 0x39,
        i8x16_lt_u = 0x26,
        i16x8_lt_u = 0x30,
        i32x4_lt_u = 0x3A,
        i8x16_gt_s = 0x27,
        i16x8_gt_s = 0x31,
        i32x4_gt_s = 0x3B,
        i8x16_gt_u = 0x28,
        i16x8_gt_u = 0x32,
        i32x4_gt_u = 0x3C,
        i8x16_le_s = 0x29,
        i16x8_le_s = 0x33,
        i32x4_le_s = 0x3D,
        i8x16_le_u = 0x2A,
        i16x8_le_u = 0x34,
        i32x4_le_u = 0x3E,
        i8x16_ge_s = 0x2B,
        i16x8_ge_s = 0x35,
        i32x4_ge_s = 0x3F,
        i8x16_ge_u = 0x2C,
        i16x8_ge_u = 0x36,
        i32x4_ge_u = 0x40,
        f32x4_eq = 0x41,
        f64x2_eq = 0x47,
        f32x4_ne = 0x42,
        f64x2_ne = 0x48,
        f32x4_lt = 0x43,
        f64x2_lt = 0x49,
        f32x4_gt = 0x44,
        f64x2_gt = 0x4A,
        f32x4_le = 0x45,
        f64x2_le = 0x4B,
        f32x4_ge = 0x46,
        f64x2_ge = 0x4C,
        v128_not = 0x4D,
        v128_and = 0x4E,
        v128_andnot = 0x4F,
        v128_or = 0x50,
        v128_xor = 0x51,
        v128_bitselect = 0x52,
        v128_any_true = 0x53,
        v128_load8_lane = 0x54,
        v128_load16_lane = 0x55,
        v128_load32_lane = 0x56,
        v128_load64_lane = 0x57,
        v128_store8_lane = 0x58,
        v128_store16_lane = 0x59,
        v128_store32_lane = 0x5A,
        v128_store64_lane = 0x5B,
        v128_load32_zero = 0x5C,
        v128_load64_zero = 0x5D,
        f32x4_demote_f64x2_zero = 0x5E,
        f64x2_promote_low_f32x4 = 0x5F,
        i8x16_abs = 0x60,
        i16x8_abs = 0x80,
        i32x4_abs = 0xA0,
        i64x2_abs = 0xC0,
        i8x16_neg = 0x61,
        i16x8_neg = 0x81,
        i32x4_neg = 0xA1,
        i64x2_neg = 0xC1,
        i8x16_popcnt = 0x62,
        i16x8_q15mulr_sat_s = 0x82,
        i8x16_all_true = 0x63,
        i16x8_all_true = 0x83,
        i32x4_all_true = 0xA3,
        i64x2_all_true = 0xC3,
        i8x16_bitmask = 0x64,
        i16x8_bitmask = 0x84,
        i32x4_bitmask = 0xA4,
        i64x2_bitmask = 0xC4,
        i8x16_narrow_i16x8_s = 0x65,
        i16x8_narrow_i32x4_s = 0x85,
        i8x16_narrow_i16x8_u = 0x66,
        i16x8_narrow_i32x4_u = 0x86,
        f32x4_ceil = 0x67,
        i16x8_extend_low_i8x16_s = 0x87,
        i32x4_extend_low_i16x8_s = 0xA7,
        i64x2_extend_low_i32x4_s = 0xC7,
        f32x4_floor = 0x68,
        i16x8_extend_high_i8x16_s = 0x88,
        i32x4_extend_high_i16x8_s = 0xA8,
        i64x2_extend_high_i32x4_s = 0xC8,
        f32x4_trunc = 0x69,
        i16x8_extend_low_i8x16_u = 0x89,
        i32x4_extend_low_i16x8_u = 0xA9,
        i64x2_extend_low_i32x4_u = 0xC9,
        f32x4_nearest = 0x6A,
        i16x8_extend_high_i8x16_u = 0x8A,
        i32x4_extend_high_i16x8_u = 0xAA,
        i64x2_extend_high_i32x4_u = 0xCA,
        i8x16_shl = 0x6B,
        i16x8_shl = 0x8B,
        i32x4_shl = 0xAB,
        i64x2_shl = 0xCB,
        i8x16_shr_s = 0x6C,
        i16x8_shr_s = 0x8C,
        i32x4_shr_s = 0xAC,
        i64x2_shr_s = 0xCC,
        i8x16_shr_u = 0x6D,
        i16x8_shr_u = 0x8D,
        i32x4_shr_u = 0xAD,
        i64x2_shr_u = 0xCD,
        i8x16_add = 0x6E,
        i16x8_add = 0x8E,
        i32x4_add = 0xAE,
        i64x2_add = 0xCE,
        i8x16_add_sat_s = 0x6F,
        i16x8_add_sat_s = 0x8F,
        i8x16_add_sat_u = 0x70,
        i16x8_add_sat_u = 0x90,
        i8x16_sub = 0x71,
        i16x8_sub = 0x91,
        i32x4_sub = 0xB1,
        i64x2_sub = 0xD1,
        i8x16_sub_sat_s = 0x72,
        i16x8_sub_sat_s = 0x92,
        i8x16_sub_sat_u = 0x73,
        i16x8_sub_sat_u = 0x93,
        f64x2_ceil = 0x74,
        f64x2_nearest = 0x94,
        f64x2_floor = 0x75,
        i16x8_mul = 0x95,
        i32x4_mul = 0xB5,
        i64x2_mul = 0xD5,
        i8x16_min_s = 0x76,
        i16x8_min_s = 0x96,
        i32x4_min_s = 0xB6,
        i64x2_eq = 0xD6,
        i8x16_min_u = 0x77,
        i16x8_min_u = 0x97,
        i32x4_min_u = 0xB7,
        i64x2_ne = 0xD7,
        i8x16_max_s = 0x78,
        i16x8_max_s = 0x98,
        i32x4_max_s = 0xB8,
        i64x2_lt_s = 0xD8,
        i8x16_max_u = 0x79,
        i16x8_max_u = 0x99,
        i32x4_max_u = 0xB9,
        i64x2_gt_s = 0xD9,
        f64x2_trunc = 0x7A,
        i32x4_dot_i16x8_s = 0xBA,
        i64x2_le_s = 0xDA,
        i8x16_avgr_u = 0x7B,
        i16x8_avgr_u = 0x9B,
        i64x2_ge_s = 0xDB,
        i16x8_extadd_pairwise_i8x16_s = 0x7C,
        i16x8_extmul_low_i8x16_s = 0x9C,
        i32x4_extmul_low_i16x8_s = 0xBC,
        i64x2_extmul_low_i32x4_s = 0xDC,
        i16x8_extadd_pairwise_i8x16_u = 0x7D,
        i16x8_extmul_high_i8x16_s = 0x9D,
        i32x4_extmul_high_i16x8_s = 0xBD,
        i64x2_extmul_high_i32x4_s = 0xDD,
        i32x4_extadd_pairwise_i16x8_s = 0x7E,
        i16x8_extmul_low_i8x16_u = 0x9E,
        i32x4_extmul_low_i16x8_u = 0xBE,
        i64x2_extmul_low_i32x4_u = 0xDE,
        i32x4_extadd_pairwise_i16x8_u = 0x7F,
        i16x8_extmul_high_i8x16_u = 0x9F,
        i32x4_extmul_high_i16x8_u = 0xBF,
        i64x2_extmul_high_i32x4_u = 0xDF,
        f32x4_abs = 0xE0,
        f64x2_abs = 0xEC,
        f32x4_neg = 0xE1,
        f64x2_neg = 0xED,
        f32x4_sqrt = 0xE3,
        f64x2_sqrt = 0xEF,
        f32x4_add = 0xE4,
        f64x2_add = 0xF0,
        f32x4_sub = 0xE5,
        f64x2_sub = 0xF1,
        f32x4_mul = 0xE6,
        f64x2_mul = 0xF2,
        f32x4_div = 0xE7,
        f64x2_div = 0xF3,
        f32x4_min = 0xE8,
        f64x2_min = 0xF4,
        f32x4_max = 0xE9,
        f64x2_max = 0xF5,
        f32x4_pmin = 0xEA,
        f64x2_pmin = 0xF6,
        f32x4_pmax = 0xEB,
        f64x2_pmax = 0xF7,
        i32x4_trunc_sat_f32x4_s = 0xF8,
        i32x4_trunc_sat_f32x4_u = 0xF9,
        f32x4_convert_i32x4_s = 0xFA,
        f32x4_convert_i32x4_u = 0xFB,
        i32x4_trunc_sat_f64x2_s_zero = 0xFC,
        i32x4_trunc_sat_f64x2_u_zero = 0xFD,
        f64x2_convert_low_i32x4_s = 0xFE,
        f64x2_convert_low_i32x4_u = 0xFF,

        // relaxed-simd opcodes

        i8x16_relaxed_swizzle = 0x100,
        i32x4_relaxed_trunc_f32x4_s = 0x101,
        i32x4_relaxed_trunc_f32x4_u = 0x102,
        i32x4_relaxed_trunc_f64x2_s_zero = 0x103,
        i32x4_relaxed_trunc_f64x2_u_zero = 0x104,
        f32x4_relaxed_madd = 0x105,
        f32x4_relaxed_nmadd = 0x106,
        f64x2_relaxed_madd = 0x107,
        f64x2_relaxed_nmadd = 0x108,
        i8x16_relaxed_laneselect = 0x109,
        i16x8_relaxed_laneselect = 0x10a,
        i32x4_relaxed_laneselect = 0x10b,
        i64x2_relaxed_laneselect = 0x10c,
        f32x4_relaxed_min = 0x10d,
        f32x4_relaxed_max = 0x10e,
        f64x2_relaxed_min = 0x10f,
        f64x2_relaxed_max = 0x110,
        i16x8_relaxed_q15mulr_s = 0x111,
        i16x8_relaxed_dot_i8x16_i7x16_s = 0x112,
        i32x4_relaxed_dot_i8x16_i7x16_add_s = 0x113,
        f32x4_relaxed_dot_bf16x8_add_f32x4 = 0x114,
    };

    /// Returns the integer value of an `SimdOpcode`. Used by the Zig compiler
    /// to write instructions to the wasm binary file
    pub fn simdOpcode(op: SimdOpcode) u32 {
        return @intFromEnum(op);
    }

    /// Simd opcodes that require a prefix `0xFE`.
    /// Each opcode represents a varuint32, meaning
    /// they are encoded as leb128 in binary.
    pub const AtomicsOpcode = enum(u32) {
        memory_atomic_notify = 0x00,
        memory_atomic_wait32 = 0x01,
        memory_atomic_wait64 = 0x02,
        atomic_fence = 0x03,
        i32_atomic_load = 0x10,
        i64_atomic_load = 0x11,
        i32_atomic_load8_u = 0x12,
        i32_atomic_load16_u = 0x13,
        i64_atomic_load8_u = 0x14,
        i64_atomic_load16_u = 0x15,
        i64_atomic_load32_u = 0x16,
        i32_atomic_store = 0x17,
        i64_atomic_store = 0x18,
        i32_atomic_store8 = 0x19,
        i32_atomic_store16 = 0x1A,
        i64_atomic_store8 = 0x1B,
        i64_atomic_store16 = 0x1C,
        i64_atomic_store32 = 0x1D,
        i32_atomic_rmw_add = 0x1E,
        i64_atomic_rmw_add = 0x1F,
        i32_atomic_rmw8_add_u = 0x20,
        i32_atomic_rmw16_add_u = 0x21,
        i64_atomic_rmw8_add_u = 0x22,
        i64_atomic_rmw16_add_u = 0x23,
        i64_atomic_rmw32_add_u = 0x24,
        i32_atomic_rmw_sub = 0x25,
        i64_atomic_rmw_sub = 0x26,
        i32_atomic_rmw8_sub_u = 0x27A,
        i32_atomic_rmw16_sub_u = 0x28A,
        i64_atomic_rmw8_sub_u = 0x29A,
        i64_atomic_rmw16_sub_u = 0x2A,
        i64_atomic_rmw32_sub_u = 0x2B,
        i32_atomic_rmw_and = 0x2C,
        i64_atomic_rmw_and = 0x2D,
        i32_atomic_rmw8_and_u = 0x2E,
        i32_atomic_rmw16_and_u = 0x2F,
        i64_atomic_rmw8_and_u = 0x30,
        i64_atomic_rmw16_and_u = 0x31,
        i64_atomic_rmw32_and_u = 0x32,
        i32_atomic_rmw_or = 0x33,
        i64_atomic_rmw_or = 0x34,
        i32_atomic_rmw8_or_u = 0x35,
        i32_atomic_rmw16_or_u = 0x36,
        i64_atomic_rmw8_or_u = 0x37,
        i64_atomic_rmw16_or_u = 0x38,
        i64_atomic_rmw32_or_u = 0x39,
        i32_atomic_rmw_xor = 0x3A,
        i64_atomic_rmw_xor = 0x3B,
        i32_atomic_rmw8_xor_u = 0x3C,
        i32_atomic_rmw16_xor_u = 0x3D,
        i64_atomic_rmw8_xor_u = 0x3E,
        i64_atomic_rmw16_xor_u = 0x3F,
        i64_atomic_rmw32_xor_u = 0x40,
        i32_atomic_rmw_xchg = 0x41,
        i64_atomic_rmw_xchg = 0x42,
        i32_atomic_rmw8_xchg_u = 0x43,
        i32_atomic_rmw16_xchg_u = 0x44,
        i64_atomic_rmw8_xchg_u = 0x45,
        i64_atomic_rmw16_xchg_u = 0x46,
        i64_atomic_rmw32_xchg_u = 0x47,

        i32_atomic_rmw_cmpxchg = 0x48,
        i64_atomic_rmw_cmpxchg = 0x49,
        i32_atomic_rmw8_cmpxchg_u = 0x4A,
        i32_atomic_rmw16_cmpxchg_u = 0x4B,
        i64_atomic_rmw8_cmpxchg_u = 0x4C,
        i64_atomic_rmw16_cmpxchg_u = 0x4D,
        i64_atomic_rmw32_cmpxchg_u = 0x4E,
    };

    /// Returns the integer value of an `AtomicsOpcode`. Used by the Zig compiler
    /// to write instructions to the wasm binary file
    pub fn atomicsOpcode(op: AtomicsOpcode) u32 {
        return @intFromEnum(op);
    }

    /// Enum representing all Wasm value types as per spec:
    /// https://webassembly.github.io/spec/core/binary/types.html
    pub const Valtype = enum(u8) {
        i32 = 0x7F,
        i64 = 0x7E,
        f32 = 0x7D,
        f64 = 0x7C,
        v128 = 0x7B,
    };

    /// Returns the integer value of a `Valtype`
    pub fn valtype(value: Valtype) u8 {
        return @intFromEnum(value);
    }

    /// Reference types, where the funcref references to a function regardless of its type
    /// and ref references an object from the embedder.
    pub const RefType = enum(u8) {
        funcref = 0x70,
        externref = 0x6F,
    };

    /// Returns the integer value of a `Reftype`
    pub fn reftype(value: RefType) u8 {
        return @intFromEnum(value);
    }

    test "Wasm - valtypes" {
        const _i32 = valtype(.i32);
        const _i64 = valtype(.i64);
        const _f32 = valtype(.f32);
        const _f64 = valtype(.f64);

        try testing.expectEqual(@as(u8, 0x7F), _i32);
        try testing.expectEqual(@as(u8, 0x7E), _i64);
        try testing.expectEqual(@as(u8, 0x7D), _f32);
        try testing.expectEqual(@as(u8, 0x7C), _f64);
    }

    /// Limits classify the size range of resizeable storage associated with memory types and table types.
    pub const Limits = struct {
        flags: u8,
        min: u32,
        max: u32,

        pub const Flags = enum(u8) {
            WASM_LIMITS_FLAG_HAS_MAX = 0x1,
            WASM_LIMITS_FLAG_IS_SHARED = 0x2,
        };

        pub fn hasFlag(limits: Limits, flag: Flags) bool {
            return limits.flags & @intFromEnum(flag) != 0;
        }

        pub fn setFlag(limits: *Limits, flag: Flags) void {
            limits.flags |= @intFromEnum(flag);
        }
    };

    /// Initialization expressions are used to set the initial value on an object
    /// when a wasm module is being loaded.
    pub const InitExpression = union(enum) {
        i32_const: i32,
        i64_const: i64,
        f32_const: f32,
        f64_const: f64,
        global_get: u32,
    };

    /// Represents a function entry, holding the index to its type
    pub const Func = struct {
        type_index: u32,
    };

    /// Tables are used to hold pointers to opaque objects.
    /// This can either by any function, or an object from the host.
    pub const Table = struct {
        limits: Limits,
        reftype: RefType,
    };

    /// Describes the layout of the memory where `min` represents
    /// the minimal amount of pages, and the optional `max` represents
    /// the max pages. When `null` will allow the host to determine the
    /// amount of pages.
    pub const Memory = struct {
        limits: Limits,
    };

    /// Represents the type of a `Global` or an imported global.
    pub const GlobalType = struct {
        valtype: Valtype,
        mutable: bool,
    };

    pub const Global = struct {
        global_type: GlobalType,
        init: InitExpression,
    };

    /// Notates an object to be exported from wasm
    /// to the host.
    pub const Export = struct {
        name: []const u8,
        kind: ExternalKind,
        index: u32,
    };

    /// Element describes the layout of the table that can
    /// be found at `table_index`
    pub const Element = struct {
        table_index: u32,
        offset: InitExpression,
        func_indexes: []const u32,
    };

    /// Imports are used to import objects from the host
    pub const Import = struct {
        module_name: []const u8,
        name: []const u8,
        kind: Kind,

        pub const Kind = union(ExternalKind) {
            function: u32,
            table: Table,
            memory: Limits,
            global: GlobalType,
        };
    };

    /// `Type` represents a function signature type containing both
    /// a slice of parameters as well as a slice of return values.
    pub const Type = struct {
        params: []const Valtype,
        returns: []const Valtype,

        pub fn format(self: Type, comptime fmt: []const u8, opt: std.fmt.FormatOptions, writer: anytype) !void {
            if (fmt.len != 0) std.fmt.invalidFmtError(fmt, self);
            _ = opt;
            try writer.writeByte('(');
            for (self.params, 0..) |param, i| {
                try writer.print("{s}", .{@tagName(param)});
                if (i + 1 != self.params.len) {
                    try writer.writeAll(", ");
                }
            }
            try writer.writeAll(") -> ");
            if (self.returns.len == 0) {
                try writer.writeAll("nil");
            } else {
                for (self.returns, 0..) |return_ty, i| {
                    try writer.print("{s}", .{@tagName(return_ty)});
                    if (i + 1 != self.returns.len) {
                        try writer.writeAll(", ");
                    }
                }
            }
        }

        pub fn eql(self: Type, other: Type) bool {
            return std.mem.eql(Valtype, self.params, other.params) and
                std.mem.eql(Valtype, self.returns, other.returns);
        }

        pub fn deinit(self: *Type, gpa: std.mem.Allocator) void {
            gpa.free(self.params);
            gpa.free(self.returns);
            self.* = undefined;
        }
    };

    /// Wasm module sections as per spec:
    /// https://webassembly.github.io/spec/core/binary/modules.html
    pub const Section = enum(u8) {
        custom,
        type,
        import,
        function,
        table,
        memory,
        global,
        @"export",
        start,
        element,
        code,
        data,
        data_count,
        _,
    };

    /// Returns the integer value of a given `Section`
    pub fn section(val: Section) u8 {
        return @intFromEnum(val);
    }

    /// The kind of the type when importing or exporting to/from the host environment
    /// https://webassembly.github.io/spec/core/syntax/modules.html
    pub const ExternalKind = enum(u8) {
        function,
        table,
        memory,
        global,
    };

    /// Returns the integer value of a given `ExternalKind`
    pub fn externalKind(val: ExternalKind) u8 {
        return @intFromEnum(val);
    }

    /// Defines the enum values for each subsection id for the "Names" custom section
    /// as described by:
    /// https://webassembly.github.io/spec/core/appendix/custom.html?highlight=name#name-section
    pub const NameSubsection = enum(u8) {
        module,
        function,
        local,
        label,
        type,
        table,
        memory,
        global,
        elem_segment,
        data_segment,
    };

    // type constants

    pub const element_type: u8 = 0x70;
    pub const function_type: u8 = 0x60;
    pub const result_type: u8 = 0x40;

    /// Represents a block which will not return a value
    pub const block_empty: u8 = 0x40;

    // binary constants

    pub const magic = [_]u8{ 0x00, 0x61, 0x73, 0x6D }; // \0asm

    pub const version = [_]u8{ 0x01, 0x00, 0x00, 0x00 }; // version 1 (MVP)

    // Each wasm page size is 64kB

    pub const page_size = 64 * 1024;