let of_bool b =
  BOO b