let string_of_bool = function
  true -> "true"
| false -> "false"