(*
    Title: 	Unix C library calls
    LastEdit:	"14 June 1990"
    Author: 	Derek McAuley,Oms1,4663,329629
		Cambridge University 
		Computer Laboratory
*)

DEFINITION MODULE UnixLibCall;


EXPORT QUALIFIED 
  bcopy, bcmp, bzero, 
  
  opendir, readdir, telldir, seekdir, rewinddir, closedir,
  
  gethostent, gethostbyaddr, gethostbyname, sethostent, endhostent,

  malloc, free, realloc, calloc, alloca,
  
  random, srandom,

  getenv, putenv;
  

CONST
  bcopy = "_bcopy"; bcmp = "_bcmp"; bzero = "_bzero";
  
  opendir = "_opendir"; readdir = "_readdir"; telldir = "_telldir";
  seekdir = "_seekdir"; rewinddir = "_rewinddir"; closedir = "_closedir";

  gethostent = "_gethostent"; gethostbyaddr = "_gethostbyaddr"; 
  gethostbyname = "_gethostbyname"; sethostent = "_sethostent"; 
  endhostent = "_endhostent";

  malloc = "_malloc"; free = "_free"; realloc = "_realloc"; 
  calloc = "_calloc"; alloca = "_alloca";

  random = "_rand"; srandom = "_srand";

  getenv = "_getenv"; putenv = "_putenv";

END UnixLibCall.
