main(): i32 {
  a: i32 = 13;
  a = a - 1;
  b: i32 = 33;
  b = 32;
  c: i32 = 2 * (b + a);
  d: i32 = (c - 33) + 1;
  e: i32 = d;
  return e / 2;
}