file

<< filename mode file fd >>
string filename, mode; file fd;
It opens the <<filename>> with the <<mode>>. <<fd>> is the
file descripter and is used in writestring and closefile.
If filename part is an integer, it calls fdopen() and returns the file descripter.
cf. closefile, writestring, pushfile



Nobuki Takayama 2020-11-24