Add tests for memelem{move,cpy}

Signed-off-by: Mattias Andrée <maandree@kth.se>

2 files changed, 400 insertions, 2 deletions

diff --git a/memelemcpy.c b/memelemcpy.c
index da32946..41dff83 100644
--- a/memelemcpy.c
+++ b/memelemcpy.c
@@ -63,7 +63,7 @@ memelemcpyx(char *restrict d, const char *restrict s, const char *restrict elem,
 
 
 void *
-libsimple_memelemcpy(void *restrict d, const void *restrict s, const void *restrict elem, size_t size, size_t n) /* TODO test, man */
+libsimple_memelemcpy(void *restrict d, const void *restrict s, const void *restrict elem, size_t size, size_t n) /* TODO man */
 {
 	switch (size) {
 	case 0:
@@ -88,6 +88,103 @@ libsimple_memelemcpy(void *restrict d, const void *restrict s, const void *restr
 int
 main(void)
 {
+	char buf[1024];
+
+
+	memset(buf, 'x', sizeof(buf)), buf[sizeof(buf) - 1] = '\0';
+	assert(libsimple_memelemcpy(buf, "hello", "o", 0, 5) == &buf[0]);
+	assert(!strncmp(buf, "x", 1));
+
+	memset(buf, 'x', sizeof(buf)), buf[sizeof(buf) - 1] = '\0';
+	assert(libsimple_memelemcpy(buf, "hello", "l", 0, 5) == &buf[0]);
+	assert(!strncmp(buf, "x", 1));
+
+	memset(buf, 'x', sizeof(buf)), buf[sizeof(buf) - 1] = '\0';
+	assert(libsimple_memelemcpy(buf, "hello", "x", 0, 5) == &buf[0]);
+	assert(!strncmp(buf, "x", 1));
+
+
+	memset(buf, 'x', sizeof(buf)), buf[sizeof(buf) - 1] = '\0';
+	assert(libsimple_memelemcpy(buf, "hello", "o", 1, 5) == &buf[5]);
+	assert(!strncmp(buf, "hellox", 6));
+
+	memset(buf, 'x', sizeof(buf)), buf[sizeof(buf) - 1] = '\0';
+	assert(libsimple_memelemcpy(buf, "hello", "l", 1, 5) == &buf[3]);
+	assert(!strncmp(buf, "helx", 4));
+
+	memset(buf, 'x', sizeof(buf)), buf[sizeof(buf) - 1] = '\0';
+	assert(libsimple_memelemcpy(buf, "hello", "x", 1, 5) == NULL);
+	assert(!strncmp(buf, "hellox", 6));
+
+
+	memset(buf, 'x', sizeof(buf)), buf[sizeof(buf) - 1] = '\0';
+	assert(libsimple_memelemcpy(buf, ".h.e.l.l.o", ".o", 2, 5) == &buf[5 * 2]);
+	assert(!strncmp(buf, ".h.e.l.l.ox", 11));
+
+	memset(buf, 'x', sizeof(buf)), buf[sizeof(buf) - 1] = '\0';
+	assert(libsimple_memelemcpy(buf, ".h.e.l.l.o", ".l", 2, 5) == &buf[3 * 2]);
+	assert(!strncmp(buf, ".h.e.lx", 7));
+
+	memset(buf, 'x', sizeof(buf)), buf[sizeof(buf) - 1] = '\0';
+	assert(libsimple_memelemcpy(buf, ".h.e.l.l.o", ".x", 2, 5) == NULL);
+	assert(!strncmp(buf, ".h.e.l.l.ox", 11));
+
+	memset(buf, 'x', sizeof(buf)), buf[sizeof(buf) - 1] = '\0';
+	assert(libsimple_memelemcpy(buf, ".h.l.ll..o", "l.", 2, 5) == &buf[4 * 2]);
+	assert(!strncmp(buf, ".h.l.ll.x", 9));
+
+
+	memset(buf, 'x', sizeof(buf)), buf[sizeof(buf) - 1] = '\0';
+	assert(libsimple_memelemcpy(buf, "..h..e..l..l..o", "..o", 3, 5) == &buf[5 * 3]);
+	assert(!strncmp(buf, "..h..e..l..l..ox", 16));
+
+	memset(buf, 'x', sizeof(buf)), buf[sizeof(buf) - 1] = '\0';
+	assert(libsimple_memelemcpy(buf, "..h..e..l..l..o", "..l", 3, 5) == &buf[3 * 3]);
+	assert(!strncmp(buf, "..h..e..lx", 10));
+
+	memset(buf, 'x', sizeof(buf)), buf[sizeof(buf) - 1] = '\0';
+	assert(libsimple_memelemcpy(buf, "..h..e..l..l..o", "..x", 3, 5) == NULL);
+	assert(!strncmp(buf, "..h..e..l..l..ox", 16));
+
+	memset(buf, 'x', sizeof(buf)), buf[sizeof(buf) - 1] = '\0';
+	assert(libsimple_memelemcpy(buf, "..h..l..ll....o", "l..", 3, 5) == &buf[4 * 3]);
+	assert(!strncmp(buf, "..h..l..ll..x", 13));
+
+
+	memset(buf, 'x', sizeof(buf)), buf[sizeof(buf) - 1] = '\0';
+	assert(libsimple_memelemcpy(buf, "...h...e...l...l...o", "...o", 4, 5) == &buf[5 * 4]);
+	assert(!strncmp(buf, "...h...e...l...l...ox", 21));
+
+	memset(buf, 'x', sizeof(buf)), buf[sizeof(buf) - 1] = '\0';
+	assert(libsimple_memelemcpy(buf, "...h...e...l...l...o", "...l", 4, 5) == &buf[3 * 4]);
+	assert(!strncmp(buf, "...h...e...lx", 13));
+
+	memset(buf, 'x', sizeof(buf)), buf[sizeof(buf) - 1] = '\0';
+	assert(libsimple_memelemcpy(buf, "...h...e...l...l...o", "...x", 4, 5) == NULL);
+	assert(!strncmp(buf, "...h...e...l...l...ox", 21));
+
+	memset(buf, 'x', sizeof(buf)), buf[sizeof(buf) - 1] = '\0';
+	assert(libsimple_memelemcpy(buf, "...h...l...ll......o", "l...", 4, 5) == &buf[4 * 4]);
+	assert(!strncmp(buf, "...h...l...ll...x", 17));
+
+
+	memset(buf, 'x', sizeof(buf)), buf[sizeof(buf) - 1] = '\0';
+	assert(libsimple_memelemcpy(buf, ".......h.......e.......l.......l.......o", ".......o", 8, 5) == &buf[5 * 8]);
+	assert(!strncmp(buf, ".......h.......e.......l.......l.......ox", 21));
+
+	memset(buf, 'x', sizeof(buf)), buf[sizeof(buf) - 1] = '\0';
+	assert(libsimple_memelemcpy(buf, ".......h.......e.......l.......l.......o", ".......l", 8, 5) == &buf[3 * 8]);
+	assert(!strncmp(buf, ".......h.......e.......lx", 13));
+
+	memset(buf, 'x', sizeof(buf)), buf[sizeof(buf) - 1] = '\0';
+	assert(libsimple_memelemcpy(buf, ".......h.......e.......l.......l.......o", ".......x", 8, 5) == NULL);
+	assert(!strncmp(buf, ".......h.......e.......l.......l.......ox", 21));
+
+	memset(buf, 'x', sizeof(buf)), buf[sizeof(buf) - 1] = '\0';
+	assert(libsimple_memelemcpy(buf, ".......h.......l.......ll..............o", "l.......", 8, 5) == &buf[4 * 8]);
+	assert(!strncmp(buf, ".......h.......l.......ll.......x", 21));
+
+
 	return 0;
 }
 
diff --git a/memelemmove.c b/memelemmove.c
index 2a90e26..90bf2fb 100644
--- a/memelemmove.c
+++ b/memelemmove.c
@@ -93,7 +93,7 @@ memelemmovex(char *restrict d, const char *restrict s, const char *restrict elem
 
 
 void *
-libsimple_memelemmove(void *d, const void *s, const void *restrict elem, size_t size, size_t n) /* TODO test, man */
+libsimple_memelemmove(void *d, const void *s, const void *restrict elem, size_t size, size_t n) /* TODO man */
 {
 	switch (size) {
 	case 0:
@@ -118,6 +118,307 @@ libsimple_memelemmove(void *d, const void *s, const void *restrict elem, size_t
 int
 main(void)
 {
+	char buf[1024];
+
+
+	memset(buf, '-', sizeof(buf)), buf[sizeof(buf) - 1] = '\0';
+	stpcpy(&buf[5], "hello")[0] = '-';
+	assert(libsimple_memelemmove(&buf[5], &buf[5], "", 0, 5) == &buf[5]);
+	assert(!strncmp(buf, "-----hello-", 11));
+
+	memset(buf, '-', sizeof(buf)), buf[sizeof(buf) - 1] = '\0';
+	stpcpy(&buf[5], "hello")[0] = '-';
+	assert(libsimple_memelemmove(&buf[3], &buf[5], "", 0, 5) == &buf[3]);
+	assert(!strncmp(buf, "-----hello-", 11));
+
+	memset(buf, '-', sizeof(buf)), buf[sizeof(buf) - 1] = '\0';
+	stpcpy(&buf[5], "hello")[0] = '-';
+	assert(libsimple_memelemmove(&buf[5], &buf[3], "", 0, 5) == &buf[5]);
+	assert(!strncmp(buf, "-----hello-", 11));
+
+
+	memset(buf, '-', sizeof(buf)), buf[sizeof(buf) - 1] = '\0';
+	stpcpy(&buf[5], "hello")[0] = '-';
+	assert(libsimple_memelemmove(&buf[5], &buf[5], "o", 1, 5) == &buf[5 + 5]);
+	assert(!strncmp(buf, "-----hello-", 11));
+
+	memset(buf, '-', sizeof(buf)), buf[sizeof(buf) - 1] = '\0';
+	stpcpy(&buf[5], "hello")[0] = '-';;
+	assert(libsimple_memelemmove(&buf[5], &buf[5], "l", 1, 5) == &buf[5 + 3]);
+	assert(!strncmp(buf, "-----hello-", 11));
+
+	memset(buf, '-', sizeof(buf)), buf[sizeof(buf) - 1] = '\0';
+	stpcpy(&buf[5], "hello")[0] = '-';
+	assert(libsimple_memelemmove(&buf[5], &buf[5], "x", 1, 5) == NULL);
+	assert(!strncmp(buf, "-----hello-", 11));
+
+	memset(buf, '-', sizeof(buf)), buf[sizeof(buf) - 1] = '\0';
+	stpcpy(&buf[5], "hello")[0] = '-';
+	assert(libsimple_memelemmove(&buf[3], &buf[5], "o", 1, 5) == &buf[3 + 5]);
+	assert(!strncmp(buf, "---hellolo-", 11));
+
+	memset(buf, '-', sizeof(buf)), buf[sizeof(buf) - 1] = '\0';
+	stpcpy(&buf[5], "hello")[0] = '-';
+	assert(libsimple_memelemmove(&buf[3], &buf[5], "l", 1, 5) == &buf[3 + 3]);
+	assert(!strncmp(buf, "---helello-", 11));
+
+	memset(buf, '-', sizeof(buf)), buf[sizeof(buf) - 1] = '\0';
+	stpcpy(&buf[5], "hello")[0] = '-';
+	assert(libsimple_memelemmove(&buf[3], &buf[5], "x", 1, 5) == NULL);
+	assert(!strncmp(buf, "---hellolo-", 11));
+
+	memset(buf, '-', sizeof(buf)), buf[sizeof(buf) - 1] = '\0';
+	stpcpy(&buf[5], "hello")[0] = '-';
+	assert(libsimple_memelemmove(&buf[8], &buf[5], "o", 1, 5) == &buf[8 + 5]);
+	assert(!strncmp(buf, "-----helhello-", 14));
+
+	memset(buf, '-', sizeof(buf)), buf[sizeof(buf) - 1] = '\0';
+	stpcpy(&buf[5], "hello")[0] = '-';
+	assert(libsimple_memelemmove(&buf[8], &buf[5], "l", 1, 5) == &buf[8 + 3]);
+	assert(!strncmp(buf, "-----helhel-", 12));
+
+	memset(buf, '-', sizeof(buf)), buf[sizeof(buf) - 1] = '\0';
+	stpcpy(&buf[5], "hello")[0] = '-';
+	assert(libsimple_memelemmove(&buf[8], &buf[5], "x", 1, 5) == NULL);
+	assert(!strncmp(buf, "-----helhello-", 14));
+
+
+	memset(buf, '-', sizeof(buf)), buf[sizeof(buf) - 1] = '\0';
+	stpcpy(&buf[5], ".h.e.l.l.o")[0] = '-';
+	assert(libsimple_memelemmove(&buf[5], &buf[5], ".o", 2, 5) == &buf[5 + 5 * 2]);
+	assert(!strncmp(buf, "-----.h.e.l.l.o-", 16));
+
+	memset(buf, '-', sizeof(buf)), buf[sizeof(buf) - 1] = '\0';
+	stpcpy(&buf[5], ".h.e.l.l.o")[0] = '-';;
+	assert(libsimple_memelemmove(&buf[5], &buf[5], ".l", 2, 5) == &buf[5 + 3 * 2]);
+	assert(!strncmp(buf, "-----.h.e.l.l.o-", 16));
+
+	memset(buf, '-', sizeof(buf)), buf[sizeof(buf) - 1] = '\0';
+	stpcpy(&buf[5], ".h.e.l.l.o")[0] = '-';
+	assert(libsimple_memelemmove(&buf[5], &buf[5], ".x", 2, 5) == NULL);
+	assert(!strncmp(buf, "-----.h.e.l.l.o-", 16));
+
+	memset(buf, '-', sizeof(buf)), buf[sizeof(buf) - 1] = '\0';
+	stpcpy(&buf[5], ".h.e.l.l.o")[0] = '-';
+	assert(libsimple_memelemmove(&buf[3], &buf[5], ".o", 2, 5) == &buf[3 + 5 * 2]);
+	assert(!strncmp(buf, "---.h.e.l.l.o.o-", 16));
+
+	memset(buf, '-', sizeof(buf)), buf[sizeof(buf) - 1] = '\0';
+	stpcpy(&buf[5], ".h.e.l.l.o")[0] = '-';
+	assert(libsimple_memelemmove(&buf[3], &buf[5], ".l", 2, 5) == &buf[3 + 3 * 2]);
+	assert(!strncmp(buf, "---.h.e.l.l.l.o-", 16));
+
+	memset(buf, '-', sizeof(buf)), buf[sizeof(buf) - 1] = '\0';
+	stpcpy(&buf[5], ".h.e.l.l.o")[0] = '-';
+	assert(libsimple_memelemmove(&buf[3], &buf[5], ".x", 2, 5) == NULL);
+	assert(!strncmp(buf, "---.h.e.l.l.o.o-", 16));
+
+	memset(buf, '-', sizeof(buf)), buf[sizeof(buf) - 1] = '\0';
+	stpcpy(&buf[5], ".h.e.l.l.o")[0] = '-';
+	assert(libsimple_memelemmove(&buf[8], &buf[5], ".o", 2, 5) == &buf[8 + 5 * 2]);
+	assert(!strncmp(buf, "-----.h..h.e.l.l.o-", 19));
+
+	memset(buf, '-', sizeof(buf)), buf[sizeof(buf) - 1] = '\0';
+	stpcpy(&buf[5], ".h.e.l.l.o")[0] = '-';
+	assert(libsimple_memelemmove(&buf[8], &buf[5], ".l", 2, 5) == &buf[8 + 3 * 2]);
+	assert(!strncmp(buf, "-----.h..h.e.lo-", 16));
+
+	memset(buf, '-', sizeof(buf)), buf[sizeof(buf) - 1] = '\0';
+	stpcpy(&buf[5], ".h.e.l.l.o")[0] = '-';
+	assert(libsimple_memelemmove(&buf[8], &buf[5], ".x", 2, 5) == NULL);
+	assert(!strncmp(buf, "-----.h..h.e.l.l.o-", 19));
+
+
+	memset(buf, '-', sizeof(buf)), buf[sizeof(buf) - 1] = '\0';
+	stpcpy(&buf[5], "..h..e..l..l..o")[0] = '-';
+	assert(libsimple_memelemmove(&buf[5], &buf[5], "..o", 3, 5) == &buf[5 + 5 * 3]);
+	assert(!strncmp(buf, "-----..h..e..l..l..o-", 21));
+
+	memset(buf, '-', sizeof(buf)), buf[sizeof(buf) - 1] = '\0';
+	stpcpy(&buf[5], "..h..e..l..l..o")[0] = '-';;
+	assert(libsimple_memelemmove(&buf[5], &buf[5], "..l", 3, 5) == &buf[5 + 3 * 3]);
+	assert(!strncmp(buf, "-----..h..e..l..l..o-", 21));
+
+	memset(buf, '-', sizeof(buf)), buf[sizeof(buf) - 1] = '\0';
+	stpcpy(&buf[5], "..h..e..l..l..o")[0] = '-';
+	assert(libsimple_memelemmove(&buf[5], &buf[5], "..x", 3, 5) == NULL);
+	assert(!strncmp(buf, "-----..h..e..l..l..o-", 21));
+
+	memset(buf, '-', sizeof(buf)), buf[sizeof(buf) - 1] = '\0';
+	stpcpy(&buf[5], "..h..e..l..l..o")[0] = '-';
+	assert(libsimple_memelemmove(&buf[3], &buf[5], "..o", 3, 5) == &buf[3 + 5 * 3]);
+	assert(!strncmp(buf, "---..h..e..l..l..o.o-", 21));
+
+	memset(buf, '-', sizeof(buf)), buf[sizeof(buf) - 1] = '\0';
+	stpcpy(&buf[5], "..h..e..l..l..o")[0] = '-';
+	assert(libsimple_memelemmove(&buf[3], &buf[5], "..l", 3, 5) == &buf[3 + 3 * 3]);
+	assert(!strncmp(buf, "---..h..e..l.l..l..o-", 21));
+
+	memset(buf, '-', sizeof(buf)), buf[sizeof(buf) - 1] = '\0';
+	stpcpy(&buf[5], "..h..e..l..l..o")[0] = '-';
+	assert(libsimple_memelemmove(&buf[3], &buf[5], "..x", 3, 5) == NULL);
+	assert(!strncmp(buf, "---..h..e..l..l..o.o-", 21));
+
+	memset(buf, '-', sizeof(buf)), buf[sizeof(buf) - 1] = '\0';
+	stpcpy(&buf[5], "..h..e..l..l..o")[0] = '-';
+	assert(libsimple_memelemmove(&buf[8], &buf[5], "..o", 3, 5) == &buf[8 + 5 * 3]);
+	assert(!strncmp(buf, "-----..h..h..e..l..l..o-", 24));
+
+	memset(buf, '-', sizeof(buf)), buf[sizeof(buf) - 1] = '\0';
+	stpcpy(&buf[5], "..h..e..l..l..o")[0] = '-';
+	assert(libsimple_memelemmove(&buf[8], &buf[5], "..l", 3, 5) == &buf[8 + 3 * 3]);
+	assert(!strncmp(buf, "-----..h..h..e..l..o-", 21));
+
+	memset(buf, '-', sizeof(buf)), buf[sizeof(buf) - 1] = '\0';
+	stpcpy(&buf[5], "..h..e..l..l..o")[0] = '-';
+	assert(libsimple_memelemmove(&buf[8], &buf[5], "..x", 3, 5) == NULL);
+	assert(!strncmp(buf, "-----..h..h..e..l..l..o-", 24));
+
+
+	memset(buf, '-', sizeof(buf)), buf[sizeof(buf) - 1] = '\0';
+	stpcpy(&buf[5], "...h...e...l...l...o")[0] = '-';
+	assert(libsimple_memelemmove(&buf[5], &buf[5], "...o", 4, 5) == &buf[5 + 5 * 4]);
+	assert(!strncmp(buf, "-----...h...e...l...l...o-", 26));
+
+	memset(buf, '-', sizeof(buf)), buf[sizeof(buf) - 1] = '\0';
+	stpcpy(&buf[5], "...h...e...l...l...o")[0] = '-';;
+	assert(libsimple_memelemmove(&buf[5], &buf[5], "...l", 4, 5) == &buf[5 + 3 * 4]);
+	assert(!strncmp(buf, "-----...h...e...l...l...o-", 26));
+
+	memset(buf, '-', sizeof(buf)), buf[sizeof(buf) - 1] = '\0';
+	stpcpy(&buf[5], "...h...e...l...l...o")[0] = '-';
+	assert(libsimple_memelemmove(&buf[5], &buf[5], "...x", 4, 5) == NULL);
+	assert(!strncmp(buf, "-----...h...e...l...l...o-", 26));
+
+	memset(buf, '-', sizeof(buf)), buf[sizeof(buf) - 1] = '\0';
+	stpcpy(&buf[5], "...h...e...l...l...o")[0] = '-';
+	assert(libsimple_memelemmove(&buf[3], &buf[5], "...o", 4, 5) == &buf[3 + 5 * 4]);
+	assert(!strncmp(buf, "---...h...e...l...l...o.o-", 26));
+
+	memset(buf, '-', sizeof(buf)), buf[sizeof(buf) - 1] = '\0';
+	stpcpy(&buf[5], "...h...e...l...l...o")[0] = '-';
+	assert(libsimple_memelemmove(&buf[3], &buf[5], "...l", 4, 5) == &buf[3 + 3 * 4]);
+	assert(!strncmp(buf, "---...h...e...l.l...l...o-", 26));
+
+	memset(buf, '-', sizeof(buf)), buf[sizeof(buf) - 1] = '\0';
+	stpcpy(&buf[5], "...h...e...l...l...o")[0] = '-';
+	assert(libsimple_memelemmove(&buf[3], &buf[5], "...x", 4, 5) == NULL);
+	assert(!strncmp(buf, "---...h...e...l...l...o.o-", 26));
+
+	memset(buf, '-', sizeof(buf)), buf[sizeof(buf) - 1] = '\0';
+	stpcpy(&buf[5], "...h...e...l...l...o")[0] = '-';
+	assert(libsimple_memelemmove(&buf[8], &buf[5], "...o", 4, 5) == &buf[8 + 5 * 4]);
+	assert(!strncmp(buf, "-----......h...e...l...l...o-", 29));
+
+	memset(buf, '-', sizeof(buf)), buf[sizeof(buf) - 1] = '\0';
+	stpcpy(&buf[5], "...h...e...l...l...o")[0] = '-';
+	assert(libsimple_memelemmove(&buf[8], &buf[5], "...l", 4, 5) == &buf[8 + 3 * 4]);
+	assert(!strncmp(buf, "-----......h...e...ll...o-", 26));
+
+	memset(buf, '-', sizeof(buf)), buf[sizeof(buf) - 1] = '\0';
+	stpcpy(&buf[5], "...h...e...l...l...o")[0] = '-';
+	assert(libsimple_memelemmove(&buf[8], &buf[5], "...x", 4, 5) == NULL);
+	assert(!strncmp(buf, "-----......h...e...l...l...o-", 29));
+
+
+	memset(buf, '-', sizeof(buf)), buf[sizeof(buf) - 1] = '\0';
+	stpcpy(&buf[5], ".......h.......e.......l.......l.......o")[0] = '-';
+	assert(libsimple_memelemmove(&buf[5], &buf[5], ".......o", 8, 5) == &buf[5 + 5 * 8]);
+	assert(!strncmp(buf, "-----.......h.......e.......l.......l.......o-", 46));
+
+	memset(buf, '-', sizeof(buf)), buf[sizeof(buf) - 1] = '\0';
+	stpcpy(&buf[5], ".......h.......e.......l.......l.......o")[0] = '-';;
+	assert(libsimple_memelemmove(&buf[5], &buf[5], ".......l", 8, 5) == &buf[5 + 3 * 8]);
+	assert(!strncmp(buf, "-----.......h.......e.......l.......l.......o-", 46));
+
+	memset(buf, '-', sizeof(buf)), buf[sizeof(buf) - 1] = '\0';
+	stpcpy(&buf[5], ".......h.......e.......l.......l.......o")[0] = '-';
+	assert(libsimple_memelemmove(&buf[5], &buf[5], ".......x", 8, 5) == NULL);
+	assert(!strncmp(buf, "-----.......h.......e.......l.......l.......o-", 46));
+
+	memset(buf, '-', sizeof(buf)), buf[sizeof(buf) - 1] = '\0';
+	stpcpy(&buf[5], ".......h.......e.......l.......l.......o")[0] = '-';
+	assert(libsimple_memelemmove(&buf[3], &buf[5], ".......o", 8, 5) == &buf[3 + 5 * 8]);
+	assert(!strncmp(buf, "---.......h.......e.......l.......l.......o.o-", 46));
+
+	memset(buf, '-', sizeof(buf)), buf[sizeof(buf) - 1] = '\0';
+	stpcpy(&buf[5], ".......h.......e.......l.......l.......o")[0] = '-';
+	assert(libsimple_memelemmove(&buf[3], &buf[5], ".......l", 8, 5) == &buf[3 + 3 * 8]);
+	assert(!strncmp(buf, "---.......h.......e.......l.l.......l.......o-", 46));
+
+	memset(buf, '-', sizeof(buf)), buf[sizeof(buf) - 1] = '\0';
+	stpcpy(&buf[5], ".......h.......e.......l.......l.......o")[0] = '-';
+	assert(libsimple_memelemmove(&buf[3], &buf[5], ".......x", 8, 5) == NULL);
+	assert(!strncmp(buf, "---.......h.......e.......l.......l.......o.o-", 46));
+
+	memset(buf, '-', sizeof(buf)), buf[sizeof(buf) - 1] = '\0';
+	stpcpy(&buf[5], ".......h.......e.......l.......l.......o")[0] = '-';
+	assert(libsimple_memelemmove(&buf[8], &buf[5], ".......o", 8, 5) == &buf[8 + 5 * 8]);
+	assert(!strncmp(buf, "-----..........h.......e.......l.......l.......o-", 49));
+
+	memset(buf, '-', sizeof(buf)), buf[sizeof(buf) - 1] = '\0';
+	stpcpy(&buf[5], ".......h.......e.......l.......l.......o")[0] = '-';
+	assert(libsimple_memelemmove(&buf[8], &buf[5], ".......l", 8, 5) == &buf[8 + 3 * 8]);
+	assert(!strncmp(buf, "-----..........h.......e.......l....l.......o-", 46));
+
+	memset(buf, '-', sizeof(buf)), buf[sizeof(buf) - 1] = '\0';
+	stpcpy(&buf[5], ".......h.......e.......l.......l.......o")[0] = '-';
+	assert(libsimple_memelemmove(&buf[8], &buf[5], ".......x", 8, 5) == NULL);
+	assert(!strncmp(buf, "-----..........h.......e.......l.......l.......o-", 49));
+
+
+	memset(buf, '-', sizeof(buf)), buf[sizeof(buf) - 1] = '\0';
+	stpcpy(&buf[5], ".a.a.aa..a")[0] = '-';
+	assert(libsimple_memelemmove(&buf[5], &buf[5], "a.", 2, 5) == &buf[5 + 4 * 2]);
+
+	memset(buf, '-', sizeof(buf)), buf[sizeof(buf) - 1] = '\0';
+	stpcpy(&buf[5], ".a.a.aa..a")[0] = '-';
+	assert(libsimple_memelemmove(&buf[3], &buf[5], "a.", 2, 5) == &buf[3 + 4 * 2]);
+
+	memset(buf, '-', sizeof(buf)), buf[sizeof(buf) - 1] = '\0';
+	stpcpy(&buf[5], ".a.a.aa..a")[0] = '-';
+	assert(libsimple_memelemmove(&buf[8], &buf[5], "a.", 2, 5) == &buf[8 + 4 * 2]);
+
+
+	memset(buf, '-', sizeof(buf)), buf[sizeof(buf) - 1] = '\0';
+	stpcpy(&buf[5], "..a..a..aa....a")[0] = '-';
+	assert(libsimple_memelemmove(&buf[5], &buf[5], "a..", 3, 5) == &buf[5 + 4 * 3]);
+
+	memset(buf, '-', sizeof(buf)), buf[sizeof(buf) - 1] = '\0';
+	stpcpy(&buf[5], "..a..a..aa....a")[0] = '-';
+	assert(libsimple_memelemmove(&buf[3], &buf[5], "a..", 3, 5) == &buf[3 + 4 * 3]);
+
+	memset(buf, '-', sizeof(buf)), buf[sizeof(buf) - 1] = '\0';
+	stpcpy(&buf[5], "..a..a..aa....a")[0] = '-';
+	assert(libsimple_memelemmove(&buf[8], &buf[5], "a..", 3, 5) == &buf[8 + 4 * 3]);
+
+
+	memset(buf, '-', sizeof(buf)), buf[sizeof(buf) - 1] = '\0';
+	stpcpy(&buf[5], "...a...a...aa......a")[0] = '-';
+	assert(libsimple_memelemmove(&buf[5], &buf[5], "a...", 4, 5) == &buf[5 + 4 * 4]);
+
+	memset(buf, '-', sizeof(buf)), buf[sizeof(buf) - 1] = '\0';
+	stpcpy(&buf[5], "...a...a...aa......a")[0] = '-';
+	assert(libsimple_memelemmove(&buf[3], &buf[5], "a...", 4, 5) == &buf[3 + 4 * 4]);
+
+	memset(buf, '-', sizeof(buf)), buf[sizeof(buf) - 1] = '\0';
+	stpcpy(&buf[5], "...a...a...aa......a")[0] = '-';
+	assert(libsimple_memelemmove(&buf[8], &buf[5], "a...", 4, 5) == &buf[8 + 4 * 4]);
+
+
+	memset(buf, '-', sizeof(buf)), buf[sizeof(buf) - 1] = '\0';
+	stpcpy(&buf[5], ".......a.......a.......aa..............a")[0] = '-';
+	assert(libsimple_memelemmove(&buf[5], &buf[5], "a.......", 8, 5) == &buf[5 + 4 * 8]);
+
+	memset(buf, '-', sizeof(buf)), buf[sizeof(buf) - 1] = '\0';
+	stpcpy(&buf[5], ".......a.......a.......aa..............a")[0] = '-';
+	assert(libsimple_memelemmove(&buf[3], &buf[5], "a.......", 8, 5) == &buf[3 + 4 * 8]);
+
+	memset(buf, '-', sizeof(buf)), buf[sizeof(buf) - 1] = '\0';
+	stpcpy(&buf[5], ".......a.......a.......aa..............a")[0] = '-';
+	assert(libsimple_memelemmove(&buf[8], &buf[5], "a.......", 8, 5) == &buf[8 + 4 * 8]);
+
+
 	return 0;
 }