let to_string b = Bool_to_string b