begin
  predicate almost equals(real left, right)
    true if left * 0.999999 <= right <= left * 1.000001
    true if right * 0.999999 <= left <= right * 1.000001
    false
  end

  if almost equals(pi, 3.1415926) start
  finish

endofprogram