changes.mady.by.user Gunther Strube
Saved on May 18, 2012
Saved on May 29, 2012
...
At most one character can be pushed back without an intervening read, otherwise a push back error is given.
GN_Flc, close filter GN_Flf, flush filter GN_Flo, open filter GN_Flr, read from filter GN_Flw, write character to filter