let () =
  (Bisect.Runtime.init "source.ml";
   Bisect.Runtime.mark_array "source.ml" [| 1 |])
  
(*BISECT-IGNORE-BEGIN*)
let f1 x y = if x = y then x + y else x - y
  
(*BISECT-IGNORE-END*)
let g s =
  (Bisect.Runtime.mark "source.ml" 3;
   if true
   then
     (Bisect.Runtime.mark "source.ml" 2;
      for i = 1 to 5 do Bisect.Runtime.mark "source.ml" 0; print_endline s
      done)
   else (Bisect.Runtime.mark "source.ml" 1; assert false))
  
(*BISECT-MARK*)
let f2 b x = (*BISECT-IGNORE*)
  if b
  then (*BISECT-IGNORE*) x * x
  else (*BISECT-IGNORE*) (*BISECT-IGNORE*) x
  

