strchr(string, '\0') returns non-NULL, and is thus not suited for use in