1<assertions>
2  <assertion id="1" tag="ref:XBD7:65884:65891">
3    The function will compute the number of bytes in the string to which s points,
4    not including the terminating NUL character. and will return the length of s.
5  <assertion>
6<assertions>
7
8