1<assertions>
2  <assertion id="1" tag="ref:XBD7:65034:65040">
3    The function will copy the string pointed to by s1 (including the
4    terminating NUL character) into the array pointed to by s2. And
5    it will return s2.
6  <assertion>
7<assertions>
8