@main {
  v0: u8 = 8;
  value: u8 = v0;
  v1: u8 = 1;
  result: u8 = v1;
  v3: u8 = value;
  i: u8 = v3;
.for.cond:
  v4: u8 = i;
  v6: bool = v4 > v5;
  br v6 .for.body .for.end;
.for.body:
  v7: u8 = result;
  v8: u8 = i;
  v9: u8 = v7 * v8;
  result: u8 = v9;
  v10: u8 = i;
  v11: u8 = 1;
  v12: u8 = v10 - v11;
  i: u8 = v12;
  jmp .for.cond;
.for.end:
  v13: u8 = result;
  pru8 v13;
  v14: u8 = 0;
}