replace with String.to_char_list!