Copyright (C) 1994, Digital Equipment Corp. INTERFACECstdio ; FROM Ctypes IMPORT int, unsigned_char_star, unsigned_char; CONST NFILE = 100; IOEOF = 8_20; TYPE Base = [2..16]; FILE = RECORD cnt: int; ptr: unsigned_char_star; base: unsigned_char_star; flag: unsigned_char; file: unsigned_char; END; FILE_star = UNTRACED REF FILE; <*EXTERNAL "_iob"*> VAR iob: ARRAY [0..NFILE - 1] OF FILE; <*EXTERNAL "_flsbuf"*> PROCEDURE flsbuf (c: int; f: FILE_star): int; <*EXTERNAL "_filbuf"*> PROCEDURE filbuf (f: FILE_star): int; <*EXTERNAL "ungetc"*> PROCEDURE ungetc (c: int; f: FILE_star): int; <*EXTERNAL "fflush"*> PROCEDURE fflush (f: FILE_star): int; END Cstdio.