let bool_of_string = function
  "true" -> true
| _ -> false