flush the I/O buffers for the text file FILE. (Binary files are
flushed at the proper times automatically.) You should only need
this after a write, especially to a pipe.
builtin function, documented at i0/std.i line 1204
returns the largest integer not greater than x (no-op on integers).
builtin function, documented at i0/std.i line 624