MODULE C99stdio ['libc.so.6'];

  (* generated by genposix.sh, do not modify *)

  IMPORT SYSTEM, C99types, C99sys_types;

  TYPE
    char* = C99types.char;
    signed_char* = C99types.signed_char;
    unsigned_char* = C99types.unsigned_char;
    short* = C99types.short;
    short_int* = C99types.short_int;
    signed_short* = C99types.signed_short;
    signed_short_int* = C99types.signed_short_int;
    unsigned_short* = C99types.unsigned_short;
    unsigned_short_int* = C99types.unsigned_short_int;
    int* = C99types.int;
    signed* = C99types.signed;
    signed_int* = C99types.signed_int;
    unsigned* = C99types.unsigned;
    unsigned_int* = C99types.unsigned_int;
    long* = C99types.long;
    long_int* = C99types.long_int;
    signed_long* = C99types.signed_long;
    signed_long_int* = C99types.signed_long_int;
    unsigned_long* = C99types.unsigned_long;
    unsigned_long_int* = C99types.unsigned_long_int;
    long_long* = C99types.long_long;
    long_long_int* = C99types.long_long_int;
    signed_long_long* = C99types.signed_long_long;
    signed_long_long_int* = C99types.signed_long_long_int;
    unsigned_long_long* = C99types.unsigned_long_long;
    unsigned_long_long_int* = C99types.unsigned_long_long_int;
    float* = C99types.float;
    double* = C99types.double;
    long_double* = C99types.long_double;

  TYPE
    PFILE* = POINTER TO FILE;
    FILE = LIMITED RECORD [untagged] END;

  TYPE
    fpos_t* = RECORD [noalign] _: ARRAY [untagged] 12 OF BYTE END;

  TYPE
    off_t* = C99sys_types.off_t;
    ssize_t* = C99sys_types.ssize_t;

  TYPE
    size_t* = INTEGER;

  TYPE
    va_list* = INTEGER;

  CONST
    BUFSIZ* = 8192;
    L_ctermid* = 9;
    L_tmpnam* = 20;

  CONST
    _IOFBF* = 0;
    _IOLBF* = 1;
    _IONBF* = 2;

  CONST
    SEEK_CUR* = 1;
    SEEK_END* = 2;
    SEEK_SET* = 0;

  CONST
    FILENAME_MAX* = 4096;
    FOPEN_MAX* = 16;
    TMP_MAX* = 238328;

  CONST
    EOF* = -1;

  PROCEDURE [ccall] fclose* (stream: PFILE): int;
  PROCEDURE [ccall] ferror* (stream: PFILE): int;
  PROCEDURE [ccall] fflush* (stream: PFILE): int;
  PROCEDURE [ccall] fopen* (IN pathname, mode: ARRAY [untagged] OF SHORTCHAR): PFILE;
  PROCEDURE [ccall] fread* (ptr: C99types.Pvoid; size, n: size_t; stream: PFILE): size_t;
  PROCEDURE [ccall] fseek* (stream: PFILE; offset: long; whence: int): int;
  PROCEDURE [ccall] ftell* (stream: PFILE): long;
  PROCEDURE [ccall] fwrite* (ptr: C99types.Pvoid; size, n: size_t; stream: PFILE): size_t;
  PROCEDURE [ccall] feof* (stream: PFILE): int;
  PROCEDURE [ccall] remove* (IN pathname: ARRAY [untagged] OF SHORTCHAR): int;
  PROCEDURE [ccall] rename* (IN old, new: ARRAY [untagged] OF SHORTCHAR): int;
  PROCEDURE [ccall] tmpfile* (): PFILE;

END C99stdio.