(* This Source Code Form is subject to the terms of the Mozilla Public License,
  v. 2.0. If a copy of the MPL was not distributed with this file, You can
  obtain one at https://mozilla.org/MPL/2.0/. *)

type
  FILE* = record end

var
  stdin*: ^FILE := extern
  stdout*: ^FILE := extern
  stderr*: ^FILE := extern

proc fopen*(pathname: ^Char; mode: ^Char) -> ^FILE
extern

proc fclose*(stream: ^FILE) -> Int
extern

proc fseek*(stream: ^FILE; off: Int; whence: Int) -> Int
extern

proc rewind*(stream: ^FILE)
extern

proc ftell*(stream: ^FILE) -> Int
extern

proc fflush*(stream: ^FILE) -> Int
extern

proc fread*(ptr: Pointer; size: Word; nmemb: Word; stream: ^FILE) -> Word
extern

proc fwrite*(ptr: Pointer; size: Word; nitems: Word; stream: ^FILE) -> Word
extern

proc perror(s: ^Char)
extern

proc puts(s: ^Char) -> Int
extern

proc putchar(c: Int) -> Int
extern

end.