. . . "suppose that s is a pointer to a null-terminated string." .