void * memcpy( void * _PDCLIB_restrict s1, const void * _PDCLIB_restrict s2, size_t n )
{
char * dest = (char *) s1;
void * memcpy( void * _PDCLIB_restrict s1, const void * _PDCLIB_restrict s2, size_t n )
{
char * dest = (char *) s1;
TESTCASE( memcpy( s, abcde, 6 ) == s );
TESTCASE( s[4] == 'e' );
TESTCASE( s[5] == '\0' );
TESTCASE( memcpy( s, abcde, 6 ) == s );
TESTCASE( s[4] == 'e' );
TESTCASE( s[5] == '\0' );