Does s conversion specifier specify direction / order in which characters are written?

N3220 working draft, 7.23.6p8 (emphasis added):

s If no l length modifier is present, the argument shall be a pointer to storage of character
type.326) Characters from the storage are written up to (but not including) the terminating
null character. If the precision is specified, no more than that many bytes are written. If
the precision is not specified or is greater than the size of the storage, the storage shall
contain a null character.

Does it mean that the following program:

#include <stdio.h>

int main(void)
{
    char s[] = {'x', '', 'y'};
    printf("%s", s);
}

is allowed to print y?

Despite that the writing direction / order is perhaps obvious, is it specified?