Json.of_string implemented