f (a, b) {
L100:
  x = 5
  y = 0
  goto L101
L101:
  if x > 0 then goto L102 else goto L103
L102:
  y = y + x
  x = x - 1
  goto L101
L103:
  ret (y)
}
