let bool_array_eq arr1 arr2 =
  if Array.length arr1 <> Array.length arr2 then
    assert false;
  let res=ref true in
  Array.iteri
    (fun i b1 -> if b1 <> arr2.(i) then res:=false)
    arr1;
  !res