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