Ej1Chapter20C++

#include <iostream>

int main(int argc, char const *argv[])
{
    char s1[] = "There is a snake in my boot!";

    std::cout << s1 << std::endl;

    std::char_traits<char>::copy(s1 + 12, s1 + 11, 5);

    std::cout << s1 << std::endl;

    return 0;
}