typedef long unsigned int size_t;
extern __inline __attribute__ ((__always_inline__))
    __attribute__ ((__gnu_inline__, __artificial__))
void *
    __attribute__ ((__nothrow__)) memmove(void *__dest, const void *__src,
					  size_t __len)
{
	return __builtin___memmove_chk(__dest, __src, __len,
				       __builtin_object_size(__dest, 0));
};

char bb_common_bufsiz1[8192];
int main(int argc __attribute__ ((__unused__)), char **argv)
{
	while (*argv) {
		size_t buf_len = 0;
		size_t max_len = 50;
		memmove(bb_common_bufsiz1,
			bb_common_bufsiz1 + buf_len - max_len, max_len);
	}
}