{
/* A "struct substring" is not guaranteed to be
null-terminated, as our caller expects, but in this
case it always will be. */
{
/* A "struct substring" is not guaranteed to be
null-terminated, as our caller expects, but in this
case it always will be. */