fn w32 $average(w64 %0) {
  @entry0
    load w32 %1 %0 8;
    load w64 %2 %0 0;
    jmp @loop1(0, 0);
  @loop1(w32 %3, w32 %7)
    br.slt w32 %3 %1 @body2 @merge3;
  @body2
    mul w64 %4 %3 4;
    add w64 %5 %2 %4;
    load w32 %6 %5 0;
    add w32 %8 %7 %6;
    add w32 %9 %3 1;
    jmp @loop1(%9, %8);
  @merge3
    load w32 %11 %0 8;
    udiv w32 %12 %7 %11;
    ret %12;
}