let name_of_string = Name.of_string