../../lib/stubs.c:92: Warning: entering loop for the first time
../../lib/stubs.c:92: Warning: assigning non deterministic value for the first time
../../lib/stubs.c:95: Warning: out of bounds write. assert \valid(dest + i);
                     
../../lib/stubs.c:93: Warning: out of bounds read. assert \valid(src + i);
                    
../../lib/stubs.c:96: Warning: out of bounds read. assert \valid(src + i);
                    
[dominators] computing for function r_memcpy
[dominators] done for function r_memcpy
[dominators] computing for function r_strcpy
[dominators] done for function r_strcpy
