void insert_string(char * str);
Inserts all the str chars, except the final 0, as each character being inserted by insert_char:
