DEFINITION MODULE UnixCall;

EXPORT QUALIFIED 
  exit, fork, read, write, open, close, wait,
  creat, link, unlink, exec, execv, chdir, time, 
  mknod, chmod, chown, break, stat, lseek, 
  getpid, mount, umount, setuid, getuid, stime,
  ptrace, alarm, fstat, pause, utime, smdate,
  stty, gtty, access, nice, ftime, sync, kill,
  switch, setpgrp, tell, dup, pipe, times, profil,
  setgid, getgid, signal, acct, setphys, syslock,
  ioctl, reboot, mpx, exece, umask, chroot, vfork, 
  vread, vwrite, brk, sbrk,

  select, socket, accept, bind, getsockname, listen, recv,
  recvfrom, send, sendto, shutdown, socketpair,
  getsockopt, setsockopt,
  
  gethostname,
  
  gettimeofday;
  

CONST
  exit = "__exit"; fork = "_fork"; read = "_read";
  write = "_write"; open = "_open"; close = "_close";
  wait = "_wait"; creat = "_creat"; link = "_link";
  unlink = "_unlink"; 
  exec = "_execv"; execv = "_execv"; (* Feature from UNIXCALL *)
  chdir = "_chdir";
  time = "_time"; mknod = "_mknod"; chmod = "_chmod";
  chown = "_chown"; break = "_break"; stat = "_stat";
  lseek = "_lseek"; getpid = "_getpid"; mount = "_mount";
  umount = "_umount"; setuid = "_setuid"; getuid = "_getuid";
  stime = "_stime"; ptrace = "_ptrace"; alarm = "_alarm";
  fstat = "_fstat"; pause = "_pause"; utime = "_utime";
  stty = "_stty"; gtty = "_gtty"; access = "_access";
  nice = "_nice"; ftime = "_ftime"; sync = "_sync";
  kill = "_kill" ; switch = "_switch"; setpgrp = "_setpgrp";
  tell = "_tell"; dup = "_dup"; pipe = "_pipe";
  times = "_times"; profil = "_profil"; setgid = "_setgid";
  getgid = "_getgid"; signal = "_signal"; acct = "_acct";
  setphys = "_setphys"; syslock = "_syslock"; ioctl = "_ioctl";
  reboot = "_reboot"; mpx = "_mpx"; exece = "_exece";
  umask = "_umask"; chroot = "_chroot"; vfork = "_vfork";
  vread = "_vread"; vwrite = "_vwrite"; smdate = "_smdate";
  brk = "_brk"; sbrk = "_sbrk";
  
  select = "_select"; socket = "_socket"; accept = "_accept"; bind = "_bind";
  getsockname = "_getsockname"; listen = "_listen"; recv = "_recv";
  recvfrom = "_recvfrom"; send = "_send"; sendto = "_sendto";
  shutdown = "_shutdown"; socketpair = "_socketpair";
  getsockopt = "_getsockopt"; setsockopt = "_setsockopt";
  
  gethostname = "_gethostname";
  
  gettimeofday = "_gettimeofday";
  
  
END UnixCall.
