:"ABCDE"->Str1
:E22->{Str1+2
:Disp Str1
You'll get AB"DE (tested)
:[]→Str1That way the quote character is compiled into the string, so you don't have to waste time and RAM to put it in when the program's running.
:"AB"
:[22]
:"DE"
:[00]
:Disp Str1