Some C implementations use the read-4-bytes-ahead technique to speed up strlen(). Does the C standard state anything about strlen() being allowed to read past the terminating zero?