fn_body _start { // unanalyzed
  %0 = dbg_stmt()
  %1 = const(TypedValue{ .ty = type, .val = type})
  %2 = const(TypedValue{ .ty = type, .val = u64})
  %3 = as(%1, %2)
  %4 = alloc_mut(%3)
  %5 = const(TypedValue{ .ty = comptime_int, .val = 1})
  %6 = coerce_to_ptr_elem(%4, %5)
  %7 = store(%4, %6)
  %8 = dbg_stmt()
  %9 = const(TypedValue{ .ty = type, .val = type})
  %10 = const(TypedValue{ .ty = type, .val = u32})
  %11 = as(%9, %10)
  %12 = alloc_mut(%11)
  %13 = const(TypedValue{ .ty = comptime_int, .val = 2})
  %14 = coerce_to_ptr_elem(%12, %13)
  %15 = store(%12, %14)
  %16 = dbg_stmt()
  %17 = const(TypedValue{ .ty = type, .val = type})
  %18 = const(TypedValue{ .ty = type, .val = bool})
  %19 = as(%17, %18)
  %20 = alloc_mut(%19)
  %21 = const(TypedValue{ .ty = bool, .val = true})
  %22 = coerce_to_ptr_elem(%20, %21)
  %23 = store(%20, %22)
  %24 = dbg_stmt()
  %25 = alloc_inferred()
  %26 = block({
    %27 = const(TypedValue{ .ty = type, .val = bool})
    %28 = deref(%20)
    %29 = as(%27, %28)
    %30 = condbr(%29, {
      %31 = deref(%4)
      %32 = store_to_block_ptr()
      %33 = break("label_26", %31)
    }, {
      %34 = deref(%12)
      %35 = store_to_block_ptr()
      %36 = break("label_26", %34)
    })
  })
  %37 = resolve_inferred_alloc(%25)
  %38 = dbg_stmt()
  %39 = declval(Decl(exit))
  %40 = param_type(%39, 0)
  %41 = as(%40, %26)
  %42 = call(%39, [%41], modifier=auto)
  %43 = ensure_result_used(%42)
  %44 = returnvoid()
} // fn_body _start