let quad_bool_array_and (a1,a2,a3,a4) (b1,b2,b3,b4) =
  (bool_array_and a1 b1,
   bool_array_and a2 b2,
   bool_array_and a3 b3,
   bool_array_and a4 b4)