pushfile

<< filename pushfile sss >>
string filename, sss ; 
Read the file and push the contents of file as the string.
The file will be search in the search path as run operator.
Example: (myfile.txt) pushfile /sss set 
cf:  [(parse) sss] extension



Nobuki Takayama 2020-11-24