#include <string.h>
#include "nonstd/assert.h"

/** concatenate strings **/
char * strcat(char * restrict s1, const char * restrict s2)
{
	ASSERT_NONNULL(s1);
	ASSERT_NONNULL(s2);
	ASSERT_NOOVERLAP(s1, s2, strlen(s1) + strlen(s2));

	/*
	RETURN_ALWAYS(ARGUMENT(s1));
	*/
	return strncat(s1, s2, strlen(s2));
}

/***
appends a copy of the string at ARGUMENT(s2) to the end of
the string at ARGUMENT(s1). The first byte of ARGUMENT(s2) will overwrite the terminating
null character of ARGUMENT(s1).
***/
/*
STDC(1)
*/