let print_bool b = if b then print_string "true" else print_string "false"