let print_bool3 b =
  Format.print_string (match b with
    | True -> "True"
    | False -> "False"
    | Undefined -> "Undef"
  )