let fprint_bool ff b =
  Format.fprintf ff "%d" (if b then 1 else 0)