char* to nonnull-char-string