donthoist.dcf

for (loop_cond) {
  int x = 2;
  if (x > 1) {
     x = -5;
  }
  print(x);
}

// If we hoist x = 2, then we'll only print once
// If we don't we'll print every time.