Это который "portable"? Другого что-то не видно.
## Код:
```
PROCEDURE (f: File) Flush;
      VAR i: INTEGER;
   BEGIN   (* portable *)
      i := 0; WHILE i # nofbufs DO FlushBuffer(f, i); INC(i) END
   END Flush;
```
