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