%include "ie:terminal.inc"
%begin
%integer i, fnkey, fndes
%string (255) fnstring
!Terminal Model = Default Terminal
!setup terminal
!set terminal characteristics
prompt("setup fn key 6-16. f"); read(fnkey)
prompt("""text"":")
fndes = fnkey + 'a'-6

%cycle;  readsymbol(i);  %exit %if i='"';  %repeat
fnstring = """"

%cycle;   readsymbol(i);   fnstring=fnstring.tostring(i);   %exit %if i='"';   %repeat

printsymbol(esc); printsymbol('['); printsymbol('>')
printsymbol(fndes); printstring(fnstring)
newline

!reset terminal
%endofprogram