f(x) {
L0:
  if x > 5 then goto L1 else goto L2
L1:
  z = 1
  goto L3
L2:
  z = 1
  goto L3
L3:
  ret (z)
}
