fn main() {
__main_0:
    v_1 = literal 64
    v_2 = literal 32
    v_0 = alloc::init(v_1, v_2)
    v_3 = copy v_0
    _ = print::print_hex_word(v_3)
    _ = print::print_newline()
    v_5 = copy v_0
    v_4 = alloc::alloc(v_5)
    v_6 = copy v_4
    _ = print::print_hex_word(v_6)
    v_7 = copy v_4
    v_8 = literal 200
    store v_7, v_8
    _ = print::print_newline()
    v_10 = copy v_0
    v_9 = alloc::alloc(v_10)
    v_11 = copy v_9
    _ = print::print_hex_word(v_11)
    _ = print::print_newline()
    _ = print::print_num(v_12)
    v_13 = copy v_0
    _ = alloc::free(v_13, v_14)
    v_16 = copy v_0
    v_15 = alloc::alloc(v_16)
    _ = print::print_newline()
    v_17 = copy v_15
    _ = print::print_hex_word(v_17)
    _ = print::print_newline()
    v_18 = copy v_4
    _ = print::print_hex_word(v_18)
    if v_19 then __then_2 else __else_2
__then_2:
    _ = print::print(v_20)
    jump __endif_2
__else_2:
    jump __endif_2
__endif_2:
    v_21 = literal 0
    return v_21
__unreachable_3:
    return
}