Write to file output of facstd. (please inform the authors)

How can I do that? Tried the following, didn't work.
write("ideal-17-20", facstd(i));
Now am trying this:
write(":w ideal-17-20", facstd(i));

Here is the whole message that I received:

> <"/Users/ilia01/Desktop/all-44.txt";
Singular : signal 11 (v: 4020):
current line:>>write("ideal-17-20", facstd(i));<<
Segment fault/Bus error occurred (r:1539352784)
please inform the authors
trying to restart...
? error occurred in or before /Users/ilia01/Desktop/all-44.txt line 23: `write("ideal-17-20", facstd(i));`
? last reserved name was `facstd`
skipping text from `;` error at token `)`


Danke schön.

Just launched the same command from the shell command line. Gave the following message, after some time. Is it purely an issue of memory? Best regards.

> facstd(i);
Singular : signal 11 (v: 4020):
current line:>>facstd(i);<<
Segment fault/Bus error occurred (r:1539403711)
please inform the authors
trying to restart...