(* Copyright (C) 1989, Digital Equipment Corporation           *)
(* All rights reserved.                                        *)
(* See the file COPYRIGHT for a full description.              *)

(* Last modified on Wed Nov  4 10:43:24 MET 1992 by preschern  *)

INTERFACE Ustdio;

FROM Ctypes IMPORT int, char_star;

TYPE
  FILE = ADDRESS;

<*EXTERNAL*> PROCEDURE fopen (path, type: char_star): FILE;

<*EXTERNAL*> PROCEDURE freopen (filename, type: char_star; stream: FILE): FILE;

<*EXTERNAL*> PROCEDURE fdopen (filedes: int; type: char_star): FILE;

<*EXTERNAL*> PROCEDURE fclose (stream: FILE): int;

<*EXTERNAL "_fileno" *> PROCEDURE fileno (stream: FILE): int;

END Ustdio.